%0 Conference Paper %1 conf/tlca/Altenkirch01 %A Altenkirch, Thorsten %B TLCA %D 2001 %E Abramsky, Samson %I Springer %K dblp %P 8-21 %T Representations of First Order Function Types as Terminal Coalgebras. %U http://dblp.uni-trier.de/db/conf/tlca/tlca2001.html#Altenkirch01 %V 2044 %@ 3-540-41960-8

@inproceedings{conf/tlca/Altenkirch01, added-at = {2019-08-08T00:00:00.000+0200}, author = {Altenkirch, Thorsten}, biburl = {https://www.bibsonomy.org/bibtex/21f9f64fc9761413488884c89e33ed0bf/dblp}, booktitle = {TLCA}, crossref = {conf/tlca/2001}, editor = {Abramsky, Samson}, ee = {https://doi.org/10.1007/3-540-45413-6_5}, interhash = {0389fe6c22b1d45b5f12e83848b5e98f}, intrahash = {1f9f64fc9761413488884c89e33ed0bf}, isbn = {3-540-41960-8}, keywords = {dblp}, pages = {8-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-10T11:40:40.000+0200}, title = {Representations of First Order Function Types as Terminal Coalgebras.}, url = {http://dblp.uni-trier.de/db/conf/tlca/tlca2001.html#Altenkirch01}, volume = 2044, year = 2001 }