Asperti and Agata Ciabattoni. Effective applicative structures (1995)

by Andrea
Venue:In Category Theory and Computer Science