Towards constructive hybrid semantics

DOI10.4230/LIPICS.FSCD.2020.24MaRDI QIDQ6854411zbMATH OpenFDO

Authors Tim Lukas Diezel, S. S. Goncharov

Publication date 24 February 2026

Copyright license Creative Commons Attribution 3.0 Unported

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

zbMATH Keywords

Agdaelgot iterationhomotopy type theoryhybrid semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX) Theory of computing (68Qxx)

Cites work

• A semantics for hybrid iteration
• Chain-complete posets and directed sets with applications
• Computable decision making on the reals and other spaces. Via partiality and nondeterminism
• Cubical type theory: a constructive interpretation of the univalence axiom
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Modelling environments in call-by-value programming languages.
• Notions of computation and monads
• Partiality, Revisited
• Quotient inductive-inductive types
• Quotienting the delay monad by weak bisimilarity
• ROSCoq: robots powered by constructive reals
• Theories of Programming Languages
• Unguarded recursion on coinductive resumptions

Cited in

(1)

• Uniform Elgot iteration in foundations

This page was built for publication: Towards constructive hybrid semantics

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