Generalized Coiteration Schemata (2003)

Cached

Download Links

by Daniela Cancila , Furio Honsell , Marina Lenisa
Citations:7 - 0 self

Documents Related by Co-Citation

14 Abstraction and Computation – Venanzio Capretta - 2002
24 Nested General Recursion and Partiality in Type Theory – Ana Bove, Venanzio Capretta - 2000
19 Free iterative theories: a coalgebraic view – J Adámek, S Milius, J Velebil
41 Infinite trees and completely iterative theories: a coalgebraic view. Theoretical Computer Science – Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil - 2003
133 Terminal coalgebras in well-founded set theory, Theoretical Computer Science 114 – M Barr - 1993
5 Mathematics of Recursive Program Construction – Henk Doornbos, Roland Backhouse - 2001
2 From iterative algebras to iterative theories, in this volume – J Adámek, S Milius, J Velebil
3 Fixed point objects corresponding to Freyd algebras, manuscript – A Eppendahl - 2000
10 A universal characterization of the closed euclidean interval (Extended Abstract) – Martín H. Escardó, Alex K. Simpson - 2001
62 Remarks on algebraically compact categories – P J Freyd - 1991
68 Recursive Types Reduced to Inductive Types – P Freyd - 1990
92 Algebraically complete categories – P Freyd - 1990
38 Modelling General Recursion in Type Theory – Ana Bove, Venanzio Capretta - 2002
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
3 Coinduction in Coq – Yves Bertot - 2005
65 A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory – Peter Dybjer - 1998
42 A New Representation for Exact Real Numbers – Abbas Edalat, Peter John Potts - 1997
13 A certified, corecursive implementation of exact real numbers – Alberto Ciaffaglione - 2006
83 Infinite Objects in Type Theory – Thierry Coquand