Searching for "Recursive Definitions in Type Theory." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Structural Recursive Definitions in Type Theory
- …Structural Recursive Definitions in Type Theory Eduardo Gimenez email : Eduardo…
- Cited by 24 (0 self) – Add To MetaCart
-
A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory
- …A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory Peter Dybjer…
- Cited by 45 (8 self) – Add To MetaCart
-
A Type-Free Theory of Half-Monotone Inductive Definitions
- …. Dybjer, "Universes and a general notion of simultaneous inductive-recursive definition in type theory…
- Add To MetaCart
-
Induction-recursion and initial algebras
- … Induction-recursion is a powerful definition method in intuitionistic type theory. It extends (generalized…
- Cited by 15 (9 self) – Add To MetaCart
-
A Finite Axiomatization of Inductive-Recursive Definitions
- … of a set-theoretic model the step from inductive to inductive-recursive definitions in type theory…
- Cited by 27 (11 self) – Add To MetaCart
-
Proceedings Of The 1992 Workshop On Types For Proofs And Programs
- …. Dybjer: Universes and a General Notion of Simultaneous Inductive-Recursive Definition in Type Theory…
- Add To MetaCart
-
PROCEEDINGS OF THE 1992 WORKSHOP ON TYPES FOR PROOFS AND PROGRAMS Bastad
- …. Dybjer: Universes and a General Notion of Simultaneous Inductive-Recursive Definition in Type Theory…
- Add To MetaCart
Showing 1 through 7.
