Categorical semantics of reversible pattern-matching

DOI10.4204/eptcs.351.2MaRDI QIDQ6653745

Louis Lemonnier, Benoît Valiron, Kostia Chardonnet

Publication date: 17 December 2024

Mathematics Subject Classification ID

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

This page was built for publication: Categorical semantics of reversible pattern-matching