The Partial Lambda-Calculus (1988)

Cached

Download Links

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

Documents Related by Co-Citation

766 Notions of Computation and Monads – Eugenio Moggi - 1991
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
449 Introduction to Higher Order Categorical Logic – J Lambek, P J Scott - 1986
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
514 Categories for the working mathematician – Saunders MacLane - 1971
406 LCF considered as a programming language – Gordon Plotkin - 1977
762 Introduction to Metamathematics – S C Kleene
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
1353 Monads for functional programming – Philip Wadler - 1995