Nested General Recursion and Partiality in Type Theory (2000)

by Ana Bove , Venanzio Capretta
Venue:Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, volume 2152 of Lecture Notes in Computer Science
Citations:24 - 10 self

Active Bibliography

38 Modelling General Recursion in Type Theory – Ana Bove, Venanzio Capretta - 2002
29 General recursion via coinductive types – Venanzio Capretta
10 Simple General Recursion in Type Theory – Ana Bove - 2000
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
A Type of Partial Recursive Functions – Ana Bove, Venanzio Capretta
5 Hybrid Partial-Total Type Theory – Scott Smith - 1995
Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive Theorem Provers — An Overview – unknown authors - 2011
Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive Theorem Provers — An Overview – unknown authors - 2011
2 ATS/LF: a type system for constructing proofs as total functional programs – Hongwei Xi - 2004
7 Partial computations in constructive type theory – Scott F. Smith - 1991
5 Programming Language Semantics in Foundational Type Theory – K. Crary - 1996
12 Reasoning About Functional Programs in Nuprl – Douglas J. Howe - 1993
43 Inductively Defined Types in the Calculus of Constructions – Frank Pfenning, Christine Paulin-Mohring - 1989
Generalised Simultaneous Inductive-Recursive Definitions and their Application to Programming in Type Theory – Ana Bove
27 The Calculus of Algebraic Constructions – Frédéric Blanqui - 1999
15 Inductive types in the calculus of algebraic constructions – Frédéric Blanqui - 2005
1 Partiality, State and Dependent Types – Kasper Svendsen, Lars Birkedal, Aleksandar Nanevski
9 A Coq formalization of a Type Checker for Object Initialization in the Java Virtual Machine – Yves Bertot, Yves Bertot - 2000
11 Computational Complexity and Induction for Partial Computable Functions in Type Theory – Robert L. Constable, Karl Crary - 1999