scientific article; zbMATH DE number 1870536

zbMath1006.68023MaRDI QIDQ4793112

Härmel Nestra

Publication date: 18 February 2003

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

zbMATH Keywords

substitution

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

This page was built for publication: