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


A Type of Partial Recursive Functions
– Ana Bove, Venanzio Capretta

22

TypeTheoretic Methodology For Practical Programming Languages
– Karl Fredrick Crary
 1998

5

Hybrid PartialTotal 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 PaulinMohring
 1989


Generalised Simultaneous InductiveRecursive Definitions and their Application to Programming in Type Theory
– Ana Bove

15

Inductive types in the calculus of algebraic constructions
– Frédéric Blanqui
 2005

27

The Calculus of Algebraic Constructions
– Frédéric Blanqui
 1999

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

6

Admissibility of Fixpoint Induction over Partial Types
– Karl Crary
 1998
