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.
Abstract is missing.