A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory.

Alexandre Miquel

Browse the full CSL paper archive.