Partial Morphisms in Categories of Effective Objects (1996)

Cached

Download Links

by Eugenio Moggi
Citations:2 - 0 self

Documents Related by Co-Citation

1351 A calculus of communicating systems – R Milner - 1980
734 Notions of Computation and Monads – Eugenio Moggi - 1991
742 Structure and Interpretation of Computer Programs – H Abelson, G J Sussman, J Sussman - 1985
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
625 Light Linear Logic – Jean-yves Girard
479 Categories for the working mathematician – S MacLane - 1971
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
396 LCF considered as a programming language – G D Plotkin - 1977
397 Category Theory for Computing Science – M Barr, C Wells - 1990