Eugenio Moggi. Categories of Partial Morphisms and the lambda:::p::: - Calculus. In David H. Pitt, Samson Abramsky, Axel Poigné, David E. Rydeheard, editors, Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings. Volume 240 of Lecture Notes in Computer Science, pages 242-251, Springer, 1985.
@inproceedings{Moggi85,
title = {Categories of Partial Morphisms and the lambda:::p::: - Calculus},
author = {Eugenio Moggi},
year = {1985},
researchr = {https://researchr.org/publication/Moggi85},
cites = {0},
citedby = {0},
pages = {242-251},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings},
editor = {David H. Pitt and Samson Abramsky and Axel Poigné and David E. Rydeheard},
volume = {240},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-17162-2},
}