scientific article; zbMATH DE number 1555191

zbMath0953.03514MaRDI QIDQ4525291

Eike Ritter

Publication date: 22 January 2001

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items

Categorical abstract machines for higher-order typed \(\lambda\)-calculi, On explicit substitutions and names (extended abstract)