Skip to main content

Research Repository

Advanced Search

Representations of first order function types as terminal coalgebras

Altenkirch, Thorsten

Representations of first order function types as terminal coalgebras Thumbnail


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 https://nottingham-repository.worktribe.com/output/1023151

Files




You might also like



Downloadable Citations