Effective applicative structures (1995)

by A Asperti, A Ciabattoni
Venue:in: Category Theory and Computer Science