Ciabattoni [1995c], Effective applicative structures (1995)

by A Asperti, A
Venue:In: Proceedings of the sixth biennial conference on category theory in Computer Science (CTCS-6