A strongly normalising Curry-Howard correspondence for IZF set theory (0)

by A Miquel
Venue:Computer Science Logic, Lecture Notes in Computer Science 2803