From partial to monadic: combinatory algebra with effects

DOI10.4230/LIPICS.FSCD.2025.14MaRDI QIDQ7296809zbMATH OpenFDO

Authors Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey

Publication date 14 July 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2025.14

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A category-theoretic characterization of functional completeness
• All realizability is relative
• Characterizing partitioned assemblies and realizability toposes
• Colimit completions and the effective topos
• Ellipses and lambda definability
• Evidenced frames. A unifying framework broadening realizability models
• Failure is not an option. An exceptional type theory
• Focalisation and Classical Realisability
• Groupoidal realizability for intensional type theory
• scientific article; zbMATH DE number 5851813 (Why is no real title available?)
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 5360217 (Why is no real title available?)
• scientific article; zbMATH DE number 4061468 (Why is no real title available?)
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 3556031 (Why is no real title available?)
• scientific article; zbMATH DE number 1088046 (Why is no real title available?)
• Introduction to Turing categories
• Krivine's classical realisability from a categorical perspective
• Modelling environments in call-by-value programming languages.
• Notions of computation and monads
• On the computational content of the axiom of choice
• On the interpretation of intuitionistic number theory
• Ordered combinatory algebras and realizability
• Premonoidal categories and notions of computation
• Premonoidal categories as categories with algebraic structure
• Realizability algebras: a program to well order \(\mathbb R\)
• Realizability. An introduction to its categorical side
• Restriction categories III: colimits, partial limits and extensivity
• Russian constructivism in a prefascist theory
• The effects of effects on constructivism
• Tripos theory

Cited in

(1)

• Combinatory completeness instructured multicategories

This page was built for publication: From partial to monadic: combinatory algebra with effects

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