Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress
scientific article; zbMATH DE number 7368052