Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Representations of First Order Function Types as Terminal Coalgebras

Representations of First Order Function Types as Terminal Coalgebras

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2044/2001
BookTyped Lambda Calculi and Applications
DOI10.1007/3-540-45413-6
Copyright2001
ISBN978-3-540-41960-0
DOI10.1007/3-540-45413-6_5
Pages8-21
Subject CollectionComputer Science
SpringerLink DateMonday, January 01, 2001
Add to marked items

Representations of First Order Function Types as Terminal Coalgebras

Thorsten Altenkirch5 Contact Information

(5)  School of Computer Science and Information Technology, University of Nottingham, UK
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.

Contact Information Thorsten Altenkirch
Email: txa@cs.nott.ac.uk
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.108 • Server: mpweb15
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)