Andrea Asperti Agata Ciabattoni Effective Applicative Structures. 81-95 1995 conf/ctcs/1995 Category Theory and Computer Science db/conf/ctcs/ctcs1995.html#AspertiC95