Now showing items 101-101 of 101

    • Well-Founded Coalgebras, Revisited 

      Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra (2013-05-24)
      Theoretical models of recursion schemes have been well studied under the names well-founded coalgebras, recursive coalgebras, corecursive algebras, and Elgot algebras. Much of this work focuses on conditions ensuring unique ...