A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory (1998)

Cached

Download Links

by Peter Dybjer
Venue:Journal of Symbolic Logic
Citations:66 - 9 self

Active Bibliography

28 Induction-recursion and initial algebras – Peter Dybjer, Anton Setzer - 2003
43 Indexed Induction-Recursion – Peter Dybjer, Anton Setzer - 2001
43 A finite axiomatization of inductive-recursive definitions – Peter Dybjer, Anton Setzer - 1999
66 Inductive Families – Peter Dybjer - 1997
44 Intuitionistic Model Constructions and Normalization Proofs – Thierry Coquand, Peter Dybjer - 1998
Indexed Induction-Recursion – Peter Dybjer A, Anton Setzer B
12 Dependent types at work – Ana Bove, Peter Dybjer - 2009
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
4 Proof theory of Martin-Löf type theory. An overview – Anton Setzer - 2004