Computing with semirings and weak rig groupoids

DOI10.1007/978-3-662-49498-1_6MaRDI QIDQ2802473zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Jacques Carette, Amr Sabry

Publication date 26 April 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-49498-1_6

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A theory independent Curry-De Bruijn-Howard correspondence
• Computational types from a logical perspective
• Reversible monadic computing
• scientific article; zbMATH DE number 1342285
• On reversible combinatory logic

Cites work

• Abstract tensor systems as monoidal categories
• An objective representation of the Gaussian integers
• Categorification, term rewriting and the Knuth-Bendix procedure
• Conservative logic
• From reversible to irreversible computations
• scientific article; zbMATH DE number 2185716 (Why is no real title available?)
• scientific article; zbMATH DE number 3692653 (Why is no real title available?)
• scientific article; zbMATH DE number 1303764 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Information effects
• Irreversibility and Heat Generation in the Computing Process
• Isomorphic interpreters from logically reversible abstract machines
• Isomorphisms of generic recursive polynomial types
• Linear logic
• Logical Reversibility of Computation
• Open-graphs and monoidal theories
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• Seven trees in one
• Using types as search keys in function libraries

Cited in

(5)

• From reversible programs to univalent universes and back
• scientific article; zbMATH DE number 3904795 (Why is no real title available?)
• Join inverse categories and reversible recursion
• Compositional reversible computation
• Categorical semantics of reversible pattern-matching

Describes a project that uses

Uses Software

• Theseus

This page was built for publication: Computing with semirings and weak rig groupoids

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