scientific article; zbMATH DE number 6751514

zbMath1367.03031MaRDI QIDQ5283606

Tigran V. Khondkaryan, S. A. Nigiyan

Publication date: 24 July 2017

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

zbMATH Keywords

translation\(\lambda\)-definabilitynotion of \(\delta\)-reductiontyped \(\lambda\)-termuntyped \(\lambda\)-term

Mathematics Subject Classification ID

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

This page was built for publication: