Coinductive Field of Exact Real Numbers and General Corecursion (2006)

Cached

Download Links

by Milad Niqui
Citations:2 - 0 self

Active Bibliography

29 General recursion via coinductive types – Venanzio Capretta
5 Coinduction for Exact Real Number Computation – Ulrich Berger, Tie Hou - 2007
6 Beating the Productivity Checker Using Embedded Languages – Nils Anders Danielsson
Small Induction Recursion – Peter Hancock, Conor Mcbride, Lorenzo Malatesta, Thorsten Altenkirch
Coinductive Proofs for Basic Real Computation Tie Hou – Sa Pp, Wales Uk
2 Data types and computability via final coalgebras – Daniel Hausmann - 2004
9 Recursive coalgebras from comonads – Venanzio Capretta, Tarmo Uustalu, Varmo Vene - 2006
Coinductive Pearl: Modular First-Order Logic Completeness – Jasmin Christian, Blanchette Andrei, Popescu Dmitriy Traytel, Technische Universität München
Turing-Completeness of Polymorphic Stream Equation Systems – Christian Sattler, Florent Balestrieri
3 Recursive functions with higher order domains – Ana Bove, Venanzio Capretta - 2005
13 Productivity of Stream Definitions – Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop - 2008
Productive functions as Term-coalgebra anamorphisms in – Clemens Kupke, Milad Niqui, Jan Rutten - 2010
unknown title – Yves Bertot - 2005
Generalised Simultaneous Inductive-Recursive Definitions and their Application to Programming in Type Theory – Ana Bove
44 Indexed Induction-Recursion – Peter Dybjer, Anton Setzer - 2001
38 Modelling General Recursion in Type Theory – Ana Bove, Venanzio Capretta - 2002
Witnessing (Co)datatypes – Jasmin Christian, Blanchette Andrei, Popescu Dmitriy Traytel, Technische Universität München
8 Foundational, Compositional (Co)datatypes for Higher-Order Logic -- Category Theory Applied to Theorem Proving – Dmitriy Traytel, Andrei Popescu, Jasmin Christian Blanchette
2 Mixing Induction and Coinduction – Nils Anders Danielsson, Thorsten Altenkirch - 2009