Partial Objects in Type Theory

Partial Objects in Type Theory (1989)

by Scott Fraser Smith

Citations:

18 - 6 self

32	Partial Objects in Constructive Type Theory – Robert L Constable, Scott Fraser Smith - 1987
235	Constructive mathematics and computer programming – Per Martin-Lof - 1982
19	Computational Foundations of Basic Recursive Function Theory – Robert L. Constable, Scott Fraser Smith - 1988
129	An intuitionistic theory of types: predicative part – P Martin-Löf - 1975
417	The calculus of constructions – Coquand, G Huet - 1988
18	Partial Objects in the Calculus of Constructions – Philippe Audebaud - 1991
57	Inductive Definition in Type Theory – Nax Paul Mendler - 1988
55	A non-type-theoretic semantics for type-theoretic language – S Allen - 1987
69	Edinburgh LCF: A Mechanized Logic – Michael J Gordon, Robin Milner, Christopher P Wadsworth - 1979
17	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
173	Mathematical Theory of Computation – Z Manna - 1974
27	Formal Objects in Type Theory Using Very Dependent Types – Jason J. Hickey - 1996
157	Logic and Computation: Interactive proof with Cambridge LCF – Lawrence C Paulson - 1987
95	Proofs as programs – Joseph L Bates, Robert L Constable - 1985
1224	Introduction to functional programming – Philip Wadler - 1995
395	The formulae-as-types notion of construction – W A Howard - 1980
16	Constructive validity – D S Scott - 1970