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 |
| 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 |
