Report - Linear-algebraic Lineal - arXiv.org e-Print archive · PDF fileand most general form, the untyped λ-calculus, together with linear algebra. We see this Linear-algebraic λ-calculus

Please pass captcha verification before submit form