Skip to main content
Conference Proceedings

Representations of first order function types as terminal coalgebras

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2001) 2044 LNCS 8-21
DOI: 10.1007/3-540-45413-6_5
14Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We show that function types which have only initial algebras for regular functors in the domains, i.e. first order function types, can be represented by terminal coalgebras for certain nested functors. The representation exploits properties of ωop-limits and local ω-colimits.© Springer-Verlag Berlin Heidelberg 2001.

Cite

CITATION STYLE

APA

Altenkirch, T. (2001). Representations of first order function types as terminal coalgebras. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2044 LNCS, pp. 8–21). Springer Verlag. https://doi.org/10.1007/3-540-45413-6_5

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free