We investigate how much type theory is able to prove about the natural
n...
In this paper we try to find a computational interpretation for a strong...
We introduce a modification of standard Martin-Lof type theory in which ...
We introduce the notion of an effective Kan fibration, a new mathematica...
We show that Martin Hyland's effective topos can be exhibited as the hom...