Fixed Points of Functors - A Short Abstract

Abstract : Fixed points of endofunctors play a central role in program semantics (initial algebras as recursive specification of domains), in coalgebraic theory of systems (terminal coalgebras and coinduction) and in a number of other connections such as iterative theories (rational fixed point). In this survey we present some older and new results on the structure of the three fixed points we have mentioned.
Type de document :
Communication dans un congrès
Ichiro Hasuo. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. Lecture Notes in Computer Science, LNCS-9608, pp.1-4, 2016, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-319-40370-0_1〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01446029
Contributeur : Hal Ifip <>
Soumis le : mercredi 25 janvier 2017 - 15:24:18
Dernière modification le : mercredi 25 janvier 2017 - 15:31:58
Document(s) archivé(s) le : mercredi 26 avril 2017 - 15:41:09

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Jiří Adámek. Fixed Points of Functors - A Short Abstract. Ichiro Hasuo. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. Lecture Notes in Computer Science, LNCS-9608, pp.1-4, 2016, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-319-40370-0_1〉. 〈hal-01446029〉

Partager

Métriques

Consultations de la notice

26