Partial Objects in Type Theory (1989)

Cached

Download Links

by Scott Fraser Smith
Citations:19 - 6 self

Documents Related by Co-Citation

34 Partial objects in constructive type theory – R L Constable, S Smith - 1987
264 Constructive mathematics and computer programming – P Martin-Lof - 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 Martin-Lö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 Non-Type-Theoretic Semantics for Type-Theoretic 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 formulae-as-types notion of construction – W A Howard - 1980
18 Constructive validity – D Scott