Computing with semirings and weak rig groupoids

DOI10.1007/978-3-662-49498-1_6zbMATH Open1335.68048DBLPconf/esop/CaretteS16OpenAlexW2463458990WikidataQ60712708 ScholiaQ60712708MaRDI QIDQ2802473FDOQ2802473

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

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

Mathematics Subject Classification ID

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

Cites Work

• Conservative logic
• Information effects
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Irreversibility and Heat Generation in the Computing Process
• Title not available (Why is that?)
• Logical Reversibility of Computation
• Linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Using types as search keys in function libraries
• Seven trees in one
• Categorification, term rewriting and the Knuth-Bendix procedure
• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• An objective representation of the Gaussian integers
• Isomorphisms of generic recursive polynomial types
• Open-graphs and monoidal theories
• From reversible to irreversible computations
• Abstract Tensor Systems as Monoidal Categories
• Isomorphic Interpreters from Logically Reversible Abstract Machines

Cited In (5)

• From reversible programs to univalent universes and back
• Title not available (Why is that?)
• Compositional reversible computation
• Categorical semantics of reversible pattern-matching
• Join inverse categories and reversible recursion

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)