A Curry-Howard Correspondence for Linear, Reversible Computation.

Kostia Chardonnet Alexis Saurin Benoît Valiron

Published in: CoRR (2023)

Keyphrases

markov chain
cellular automata
real world
feature matching
square root
numerical integration
real time
feature selection
decision trees
medical images
sufficient conditions
image matching
linear model
linear complexity
gauss seidel