A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory

Cached

Download Links

by Alexandre Miquel
Citations:3 - 0 self