Recursive coalgebras from comonads (2006)

Cached

Download Links

by Venanzio Capretta , Tarmo Uustalu , Varmo Vene
Venue:Inform. and Comput
Citations:9 - 3 self

Active Bibliography

3 Corecursive Algebras: A Study of General Structured Corecursion (Extended Abstract) – Venanzio Capretta, Tarmo Uustalu, Varmo Vene
4 Generalizing Substitution – Tarmo Uustalu - 2003
Adjoint Folds and Unfolds Or: Scything Through the Thicket of Morphisms – Ralf Hinze
Developing Theories of Types and Computability – Thesis Proposal, Lars Birkedal - 1999
7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992
1 The Convex Powerdomain in a Category of Posets Realized By Cpos – Alex K. Simpson - 1995
1 Inductive, Projective, and Retractive Types – Brian T. Howard - 1993
2 An operational domain-theoretic treatment of recursive types – Weng Kin Ho - 2006
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
11 Two Models of Synthetic Domain Theory – Marcelo P. Fiore, Giuseppe Rosolini - 1997
5 Synthetic domain theory and models of linear Abadi & Plotkin logic – Rasmus Ejlers Møgelberg, Lars Birkedal - 2005
LINEAR ABADI & PLOTKIN LOGIC – Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus, Lerchedahl Petersen - 2006
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
34 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997
7 First steps in synthetic guarded domain theory: step-indexing in the topos of trees – Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
8 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003