Sciweavers

CSL
2003
Springer

A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory

14 years 4 months ago
A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory
We propose a method for realising the proofs of Intuitionistic Zermelo-Fraenkel set theory (IZF) by strongly normalising λ-terms. This
Alexandre Miquel
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where CSL
Authors Alexandre Miquel
Comments (0)