Coinductive Characterizations of Applicative Structures (1998)

by Furio Honsell, Marina Lenisa
Venue:MATH. STRUCTURES IN COMP. SCI. 9(4):403–435