Skip to main content

Research Repository

Advanced Search

Representations of first order function types as terminal coalgebras

Altenkirch, Thorsten

Authors



Citation

Altenkirch, T. (2001). Representations of first order function types as terminal coalgebras

Conference Name TLCA 2001
Publication Date Jan 1, 2001
Deposit Date Oct 26, 2005
Publicly Available Date Oct 9, 2007
Peer Reviewed Peer Reviewed
Public URL http://eprints.nottingham.ac.uk/id/eprint/218

Files





You might also like



Downloadable Citations