Information effects

DOI10.1145/2103656.2103667MaRDI QIDQ2942859zbMATH OpenOpenAlexWikidataFDO

Authors Roshan P. James, Amr Sabry

Publication date 11 September 2015

Published in Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2103656.2103667

zbMATH Keywords

arrowslinear logicquantum computingreversible logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Quantum computation (81P68)

Recommendations

• From reversible to irreversible computations
• Mathematics of Program Construction
• A structural approach to reversible computation
• Entropy generation in a model of reversible computation
• What do reversible programs compute?

Cited in

(19)

• A class of recursive permutations which is primitive recursive complete
• Algeo: an algebraic approach to reversibility
• From reversible programs to univalent universes and back
• Reversible effects as inverse arrows
• From reversible programming languages to reversible metalanguages
• Reversibility in the higher-order \(\pi\)-calculus
• Computing with semirings and weak rig groupoids
• Generating reversible circuits from higher-order functional programs
• Information Inundation on Platforms and Implications
• Clean reversible simulations of ranking binary trees
• Join inverse categories and reversible recursion
• Splitting Recursion Schemes into Reversible and Classical Interacting Threads
• Inversion, iteration, and the art of dual wielding
• Mathematics of Program Construction
• Compositional reversible computation
• Categorical semantics of reversible pattern-matching
• Join inverse rig categories for reversible functional programming, and beyond
• Universal properties of partial quantum maps
• Fundamentals of reversible flowchart languages

This page was built for publication: Information effects

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