Categories of partial morphisms and the partial lambda-calculus (1986)

by E MOGGI
Venue:in “Proceedings Workshop on Category Theory and Computer Programming, Guildford 1985,” Lecture Notes in Computer Science