Representations of First Order Function Types as Terminal Coalgebras (2001)
by
Thorsten Altenkirch
| Venue: | In Typed Lambda Calculi and Applications, TLCA 2001, number 2044 in Lecture Notes in Computer Science |
| Citations: | 11 - 0 self |
BibTeX
@INPROCEEDINGS{Altenkirch01representationsof,
author = {Thorsten Altenkirch},
title = {Representations of First Order Function Types as Terminal Coalgebras},
booktitle = {In Typed Lambda Calculi and Applications, TLCA 2001, number 2044 in Lecture Notes in Computer Science},
year = {2001},
pages = {2001},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
terminal coalgebras
