Proof Theory of Martin-Lof Type Theory -- An (2004)

by Overview Anton Setzer , Anton Setzer
Venue:Mathematiques et Sciences Humaines, 42 année, n o 165:59 – 99
Citations:4 - 2 self