Search

• < Previous
• 1
• Next >

---

Semantics of Higher-Order Recursion Schemes

Jiri Adamek ; Stefan Milius ; Jiri Velebil.

Higher-order recursion schemes are recursive equations defining new operations from given ones called "terminals". Every such recursion scheme is proved to have a least interpreted semantics in every Scott's model of \lambda-calculus in which the terminals are interpreted as continuous operations.&nbsp;[&hellip;]

---

Well-Pointed Coalgebras

Jiří Adámek ; Stefan Milius ; Lawrence S Moss ; Lurdes Sousa.

For endofunctors of varieties preserving intersections, a new description of the final coalgebra and the initial algebra is presented: the former consists of all well-pointed coalgebras. These are the pointed coalgebras having no proper subobject and no proper quotient. The initial algebra consists&nbsp;[&hellip;]

---