scientific article; zbMATH DE number 1456951
From MaRDI portal
Publication:4954440
zbMath0938.03025MaRDI QIDQ4954440
Publication date: 7 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)
Related Items
An irregular filter model ⋮ Filter models for conjunctive-disjunctive \(\lambda\)-calculi ⋮ Infinite \(\lambda\)-calculus and types ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
