scientific article

zbMath1322.03014MaRDI QIDQ3194765

Tigran V. Khondkaryan

Publication date: 20 October 2015

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

zbMATH Keywords

translation\(\beta\)-reduction\(\delta\)-reductiontyped \(\lambda\)-termsuntyped \(\lambda\)-terms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: