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

by Thorsten Altenkirch
Venue:in: Samson Abramsky (Ed.), TLCA 2001, in: Lecture Notes in Computer Science