Altenkirch, Thorsten (2001) Representations of first order function types as terminal coalgebras. In: TLCA 2001.
