Uniform Elgot iteration in foundations

Cites work

A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
An equational notion of lifting monad
An injection from the Baire space to natural numbers
Elgot Algebras
Elgot theories: a new perspective on the equational properties of iteration
General Recursion via Coinductive Types
Generalizing Substitution
Homotopy type theory. Univalent foundations of mathematics
scientific article; zbMATH DE number 5761737 (Why is no real title available?)
scientific article; zbMATH DE number 3825806 (Why is no real title available?)
scientific article; zbMATH DE number 19486 (Why is no real title available?)
scientific article; zbMATH DE number 3512082 (Why is no real title available?)
scientific article; zbMATH DE number 233974 (Why is no real title available?)
scientific article; zbMATH DE number 3367095 (Why is no real title available?)
Iterative algebras: how iterative are they?
Notions of computation and monads
On a Topological Topos
On well-founded and recursive coalgebras
Partial elements and recursion via dominances in univalent type theory
Partiality and Container Monads
Partiality, Revisited
Quotienting the delay monad by weak bisimilarity
Quotienting the delay monad by weak bisimilarity
Restriction categories. I: Categories of partial maps
Sets in homotopy type theory
Strong functors and monoidal monads
The delay monad and restriction categories
Towards constructive hybrid semantics
Traced monoidal categories
Unguarded recursion on coinductive resumptions
Unguarded recursion on coinductive resumptions
Unifying guarded and unguarded iteration

This page was built for publication: Uniform Elgot iteration in foundations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7241231)