scientific article; zbMATH DE number 7357619

zbMath1464.68052arXiv1307.8207MaRDI QIDQ4993855

Elena Zucca, Paola Giannini, Davide Ancona

Publication date: 10 June 2021

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

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 (2)

Incremental rebinding with name polymorphism ⋮ Unnamed Item

This page was built for publication: