Representations of First Order Function Types as Terminal Coalgebras.

Thorsten Altenkirch Representations of First Order Function Types as Terminal Coalgebras. 8-21 2001 TLCA http://link.springer.de/link/service/series/0558/bibs/2044/20440008.htm db/conf/tlca/tlca2001.html#Altenkirch01