A linear linear lambda-calculus - Díaz-Caro, Alejandro; Dowek, Gilles (Mathematical structures in computer science, 2024)
Keywords: Algebra; Calculus; Linearity; Logic programming; Multiplication; Programming languages; Special Issue: LSFA 2021 and LSFA 2022; lambda calculus; Proof theory; linear logic; quantum computing