Author:
Buiras Pablo,Díaz-Caro Alejandro,Jaskelioff Mauro
Publisher
Open Publishing Association
Reference18 articles.
1. Scalar system F for linear-algebraic lambda-calculus: towards a quantum physical logic;Pablo Arrighi,2011
2. A type system for the vectorial aspects of the linear-algebraic lambda-calculus;Pablo Arrighi,2011
3. Linear-algebraic lambda-calculus: higher-order, encodings, and confluence;Pablo Arrighi,2008
4. Handbook of Logic in Computer Science;Henk P. Barendregt,1992
5. Equivalence of Algebraic λ-calculi;Alejandro Díaz-Caro,2010
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The vectorial λ-calculus;Information and Computation;2017-06
2. Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus;Logical Methods in Computer Science;2014-12-09
3. Non determinism through type isomorphism;Electronic Proceedings in Theoretical Computer Science;2013-03-28