"Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.."

Pablo Arrighi, Gilles Dowek (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics