scientific article; zbMATH DE number 1342275

zbMath0931.03020MaRDI QIDQ4263864

René David

Publication date: 28 February 2000

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

zbMATH Keywords

lambda calculusdecorationunsolvable \(\lambda\) term

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

On the construction of stable models of untyped \(\lambda\)-calculus, From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models