The vectorial λ-calculus - Arrighi, Pablo; Díaz-Caro, Alejandro; Valiron, Benoît (Information and computation, 2017)
Keywords: Computer Science