Categorical semantics of reversible pattern-matching
type: Item
instance of: scholarly article
title: Categorical semantics of reversible pattern-matching
author: Kostia Chardonnet
author: Louis Lemonnier
author: Benoît Valiron
publication date: 2024-12-17T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 7959042
MaRDI profile type: Publication
cites work: Join Inverse Categories as Models of Reversible Recursion
cites work: Logical Reversibility of Computation
cites work: Computing with Semirings and Weak Rig Groupoids
cites work: Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress
cites work: Restriction categories. I: Categories of partial maps
cites work: Restriction categories II: Partial map classification
cites work: Restriction categories III: colimits, partial limits and extensivity
cites work: A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
cites work: Reversible Programs Have Reversible Semantics
cites work: Reversible effects as inverse arrows
cites work: Reversible monadic computing
cites work: A Representation Theorem for Unique Decomposition Categories
cites work: \(\mathsf{CoreFun}\): a typed functional reversible core language
cites work: Information effects
cites work: Condition/decision duality and the internal logic of extensive restriction categories
cites work: Inversion, Iteration, and the Art of Dual Wielding
cites work: Join inverse categories and reversible recursion
cites work: En garde! Unguarded iteration for reversible computation in the delay monad
cites work: Q3864044
cites work: Irreversibility and Heat Generation in the Computing Process
cites work: From symmetric pattern-matching to quantum control
cites work: Synthesis and optimization of reversible circuits -- a survey
cites work: Towards a Reversible Functional Language
cites work: Fundamentals of reversible flowchart languages
DOI: 10.4204/EPTCS.351.2
description: scientific article; zbMATH DE number 7959042