FOM: Set theory and type theory

[jvoosten@math.uu.nl]

> From owner-fom at math.psu.edu  Tue Sep 18 17:45:00 2001
> Delivered-To: jvoosten at math.uu.nl
> Date: Tue, 18 Sep 2001 14:22:30 +0200
> From: Till Mossakowski <till at tzi.de>
> X-Accept-Language: en
> MIME-Version: 1.0
> To: fom at math.psu.edu
> Subject: FOM: Set theory and type theory
> Content-Transfer-Encoding: 7bit
> X-Virus-Scanned: by AMaViS snapshot-20010407
> 
> Is there any survey article, list of references, or central paper
> about the question which fragments of set theory can
> be represented in which type theories and vice versa?
> 
> Till Mossakowski

There is the paper 

"Sets in Types, Types in Sets" by Benjamin Werner
(inria.fr)

Jaap van Oosten