scientific article; zbMATH DE number 7340316

zbMath1459.68032arXiv1012.4032MaRDI QIDQ4986659

Pablo Arrighi, Benoît Valiron, Alejandro Díaz-Caro

Publication date: 27 April 2021

Full work available at URL: https://arxiv.org/abs/1012.4032

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (1)

The vectorial \(\lambda\)-calculus

This page was built for publication: