1. Normal forms for the algebraic lambda-calculus;Alberti,2013
2. A functional quantum programming language;Altenkirch,2005
3. The λ-calculus with constructors: syntax, confluence and separation;Arbiser;J. Funct. Program.,2009
4. A system F accounting for scalars;Arrighi;Log. Methods Comput. Sci.,2012
5. A type system for the vectorial aspects of the linear-algebraic lambda-calculus;Arrighi,2012