Effective Applicative Structures (1995)

Cached

Download Links

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
Citations:7 - 2 self

Document Versions

Effective Applicative Structures –Andrea Asperti, Agata Ciabattoni, Piazza Porta, S. Donato — 1995 — 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
Effective applicative structures –Andrea Asperti, Agata Ciabattoni — 1995 — 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