Proof theory of Martin-Löf type theory. An overview (2004)

by Anton Setzer
Venue:MATHEMATIQUES ET SCIENCES HUMAINES, 42 ANNÉE, N O 165:59 – 99
Citations:4 - 2 self