scientific article; zbMATH DE number 7362063

zbMath1464.68140arXiv1404.0081MaRDI QIDQ4994968

Alejandro Díaz-Caro, Gilles Dowek

Publication date: 22 June 2021

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

The vectorial \(\lambda\)-calculus ⋮ Functional pearl: the distributive \(\lambda\)-calculus

This page was built for publication: