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

Document Versions

Proof theory of Martin-Löf type theory. An overview –Anton Setzer — 2004 — MATHEMATIQUES ET SCIENCES HUMAINES, 42 ANNÉE, N O 165:59 – 99
Proof theory of Martin-Löf type theory – an overview –Anton Setzer — 2004 — Mathematiques et Sciences Humaines, 42 année, n o 165:59 – 99
Proof Theory of Martin-Lof Type Theory -- An –Overview Anton Setzer, Anton Setzer — 2004 — Mathematiques et Sciences Humaines, 42 année, n o 165:59 – 99
Proof theory of Martin-Löf type theory – an overview –Anton Setzer — 2004 — Mathematiques et Sciences Humaines, 42 année, n o 165:59 – 99