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
129 Terminal coalgebras in well-founded set theory, Theoret – Michael 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
92 Algebraically complete categories – P Freyd - 1990
68 Recursive types reduced to induct,ive types – P Freyd - 1990
62 Remarks on algebraically compact categories – P Freyd - 1991
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
42 A New Representation for Exact Real Numbers – Abbas Edalat, Peter John Potts - 1997
83 Infinite Objects in Type Theory – Thierry Coquand
16 Generalised Coinduction – Falk Bartels - 2001
8 On the productivity of recursive definitions – Edsger W Dijkstra - 2010