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

Active Bibliography

43 Indexed Induction-Recursion – Peter Dybjer, Anton Setzer - 2001
65 A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory – Peter Dybjer - 1998
28 Induction-recursion and initial algebras – Peter Dybjer, Anton Setzer - 2003
Indexed Induction-Recursion – Peter Dybjer A, Anton Setzer B
543 Model Theory – Wilfrid Hodges - 2000
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1068 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
Universes in Type Theory Part II – Autonomous Mahlo – Anton Setzer - 2009