From reversible programs to univalent universes and back

DOI10.1016/J.ENTCS.2018.03.013OpenAlexW2743032101WikidataQ113317567 ScholiaQ113317567MaRDI QIDQ2130579

Chao-Hong Chen, Vikraman Choudhury, Amr Sabry, Jacques Carette

Publication date: 25 April 2022

Full work available at URL: https://arxiv.org/abs/1708.02710

zbMATH Keywords

Agdareversible programmingunilance

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conservative logic
• A structural approach to reversible computation
• Computing with Semirings and Weak Rig Groupoids
• Information effects
• Isomorphic Interpreters from Logically Reversible Abstract Machines
• Irreversibility and Heat Generation in the Computing Process
• A Cubical Approach to Synthetic Homotopy Theory
• A Lambda Calculus for Quantum Computation
• The real projective spaces in homotopy type theory
• CONCUR 2004 - Concurrency Theory
• Mathematics of Program Construction
• Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Reversible combinatory logic

This page was built for publication: From reversible programs to univalent universes and back