The Partial Lambda-Calculus (1988)

Cached

Download Links

by Eugenio Moggi , Ph. D
Citations:30 - 4 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
55 Categories of partial maps – E Robinson, G Rosolini - 1988
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
423 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
44 Continuity and Effectiveness in Topoi – G Rosolini - 1986
16 Continuity and E#ectivity in Topoi – G Rosolini - 1986
33 Denotational semantics with partial functions – Gordon D Plotkin - 1985
1115 The Lambda Calculus: Its Syntax and Semantics – H Barendregt - 1984
14 Generalized Banach-Mazur functionals in the topos of recursive sets – P Mulry - 1982
10 Partiality, cartesian closedness and toposes – P-L Curien, A Obtulowitz - 1989
48 Identity and existence in intuitionistic logic – D Scott - 1979
10 Categories of partial morphisms and the partial lambda-calculus – E MOGGI - 1986
37 A type-theoretical alternative to – D S Scott - 1993
21 Relating theories of the -calculus – D S Scott - 1980
140 Introduction to Higher-Order Categorical Logic – J Lambek, P Scott - 1986
49 Strong functors and monoidal monads – A Kock - 1972
102 Linear Logic, -Autonomous Categories and Cofree Coalgebras – R.A.G. Seely - 1989
474 Categories for the working mathematician – S MacLane - 1998