Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress

DOI10.1007/978-3-030-52482-1_8OpenAlexW3041363900MaRDI QIDQ2039895

Kostia Chardonnet, Alexis Saurin, Benoît Valiron

Publication date: 5 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-52482-1_8

zbMATH Keywords

linear logicreversible computationcurry-Howard

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

This page was built for publication: Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress