Representations of first order function types as terminal coalgebras - Altenkirch, Thorsten (2001)