34

Partial objects in constructive type theory
– R L Constable, S Smith
 1987

264

Constructive mathematics and computer programming
– P MartinLof
 1982

20

Computational Foundations of Basic Recursive Function Theory
– Robert L. Constable, Scott Fraser Smith
 1988

156

An intuitionistic theory of types: predicative part
– P MartinLöf
 1975

473

The Calculus of Constructions
– T Coquand, G Huet
 1988

19

Partial Objects in the Calculus of Constructions
– Philippe Audebaud
 1991

65

Recursive Definition in Type Theory
– P Mendler
 1987

56

A NonTypeTheoretic Semantics for TypeTheoretic Language
– S Allen
 1987

69

Edinburgh LCF, A Mechanized Logic
– M Gordon, R Milner, C Wadsworth
 1979

18

From Operational to Denotational Semantics
– Scott Smith
 1989

7

Partial computations in constructive type theory
– Scott F. Smith
 1991

5

A theory of programs. unpublished notes
– J W deBakker, D Scott
 1969

196

Mathematical theory of computation
– Z Manna
 1974

29

Formal Objects in Type Theory Using Very Dependent Types
– Jason J. Hickey
 1996

167

Logic and Computation: Interactive Proof with Cambridge LCF
– L C Paulson
 1987

101

Proofs as programs
– J L Bates, Robert L Constable
 1985

1312

Monads for functional programming
– Philip Wadler
 1995

445

The formulaeastypes notion of construction
– W A Howard
 1980

18

Constructive validity
– D Scott
