2001) Representations of first-order function types as terminal coalgebras (0)

by Thorsten Altenkirch
Venue:In Typed Lambda Calculi and Applications. LNCS