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
269 Constructive mathematics and computer programming – P Martin-Löf - 1982
159 An intuitionistic theory of types: predicative part. Logic Colloquium – P Martin-Löf - 1973
20 Computational Foundations of Basic Recursive Function Theory – Robert L. Constable, Scott Fraser Smith - 1988
474 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
55 A Non-Type-Theoretic 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
193 Mathematical Theory of Computation – Z Manna - 1974
29 Formal Objects in Type Theory Using Very Dependent Types – Jason J. Hickey - 1996
165 Logic and Computation: Interactive Proof with Cambridge LCF – L Paulson - 1987
102 Proofs as Programs – J L Bates, R L Constable - 1982
443 The formulae-as-types notion of construction – William A Howard - 1980
1312 Monads for functional programming – Philip Wadler - 1995
18 Constructive validity – D Scott