Effective Applicative Structures (1995)

by Andrea Asperti, Agata Ciabattoni, Piazza Porta, S. Donato
Venue:In: Proceedings of the 6th biennial conference on Category Theory in Computer Science (CTCS'95). Springer-Verlag Lecture Notes in Computer Science 953 81--95