Elgot categories and abacus programs
From MaRDI portal
Cites work
- A survey of graphical languages for monoidal categories
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- An imperative language based on distributive categories
- Aspects of categorical recursion theory
- Bimonoidal categories, E_n-monoidal categories, and algebraic K-theory. Volume III: From categories to structured ring spectra
- Categories with sums and right distributive tensor product
- Coalgebras and cartesian categories
- Data types in distributive categories
- En garde! Unguarded iteration for reversible computation in the delay monad
- How to Program an Infinite Abacus
- scientific article; zbMATH DE number 2185716 (Why is no real title available?)
- scientific article; zbMATH DE number 1805574 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 3512082 (Why is no real title available?)
- scientific article; zbMATH DE number 1482700 (Why is no real title available?)
- scientific article; zbMATH DE number 3385869 (Why is no real title available?)
- Introduction to distributive categories
- Introduction to extensive and distributive categories
- Introduction to Turing categories
- Monoidal categories with natural numbers object
- Partial recursive functions and finality
- Restriction categories III: colimits, partial limits and extensivity
- Shades of iteration: from Elgot to Kleene
- Traced monoidal categories
This page was built for publication: Elgot categories and abacus programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7410421)
