Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress.

Kostia Chardonnet Alexis Saurin Benoît Valiron

Published in: RC (2020)

Keyphrases

cellular automata
markov chain
square root
efficient computation
real world
knowledge base
website
data structure
artificial neural networks