A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory
by
Alexandre Miquel
| Citations: | 2 - 0 self |
Document Versions
| A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory –Alexandre Miquel |
