Partial computations in constructive type theory (1991)

View PDF

Download Links

by Scott F. Smith
Venue:JOURNAL OF LOGIC AND COMPUTATION
Citations:7 - 5 self

Documents Related by Co-Citation

280 Constructive mathematics and computer programming – P Martin-Löf - 1982
36 Partial objects in constructive type theory – R L Constable, S F Smith - 1987
232 Une extension de l'interprétation de Gödel a l'analyse, et son application a l'élimination des coupures dans l'analyse et la théorie des types – J-Y Girard - 1971
406 LCF considered as a programming language – Gordon Plotkin - 1977
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1373 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
883 Theory of Recursive Functions and Effective Computability – H Rogers - 1967