Corecursion

Known as: Co-recursion, Co-recursive, Corecursive 
In computer science, corecursion is a type of operation that is dual to recursion. Whereas recursion works analytically, starting on data further… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1992-2017
051019922017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We introduce AmiCo, a tool that extends a proof assistant, Isabelle/ HOL, with flexible function definitions well beyond… (More)
Is this relevant?
2015
2015
Kurz et al. have recently shown that infinite λ-trees with finitely many free variables modulo α-equivalence form a final… (More)
  • figure 1
  • figure 2
Is this relevant?
2015
2015
This paper presents a formalized framework for defining corecursive functions safely in a total setting, based on corecursion up… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
This paper presents a formalized framework for defining corecursive functions safely in a total setting, based on corecursion up… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
We investigate feasible computation over a fairly general notion of data and codata. Specifically, we present a direct Bellantoni… (More)
  • figure 1
Is this relevant?
2012
2012
Gabbay and Pitts proved that lambda-terms up to alphaequivalence constitute an initial algebra for a certain endofunctor on the… (More)
Is this relevant?
2009
2009
We study general structured corecursion, dualizing the work of Osius, Taylor, and others on general structured recursion. We call… (More)
Is this relevant?
1998
1998
  • Tarmo Uustaluy
  • 1998
In the mainstream categorical approach to typed (total) functional programming, functions with inductive source types deened by… (More)
Is this relevant?
1998
1998
This paper investigates corecursive deenitions which are at the same time monadic. This corresponds to functions that generate a… (More)
Is this relevant?
Review
1997
Review
1997
We consider foundational questions related to the de nition of functions by corecursion. This method is especially suited to… (More)
Is this relevant?