A Curry-Howard Correspondence for Linear, Reversible Computation.

Kostia Chardonnet Alexis Saurin Benoît Valiron

Published in: CSL (2023)

Keyphrases

cellular automata
efficient computation
closed form
point correspondences
square root
data mining
simple linear
data sets
matching algorithm
linear systems
correspondence matching
reversible watermarking