Report - Lineal: Alinear-algebraic λ-calculus · Lineal: Alinear-algebraicλ-calculus Pablo Arrighia,1, Gilles Dowekc aUniversit´e de Grenoble, Laboratoire LIG, UMR 5217, 220 rue de la Chimie,

Please pass captcha verification before submit form