scientific article; zbMATH DE number 1443050

zbMATH Open0949.03015MaRDI QIDQ4952053

No author found.

Publication date: 9 July 2000

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

zbMATH Keywords

Boolean functionlambda calculusevaluation functionabstract functionconditional functions

Mathematics Subject Classification ID

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

Related Items (10)

Parametric parameter passing \(\lambda\)-calculus ⋮ The differential \(\lambda \mu\)-calculus ⋮ Unnamed Item ⋮ Logical Aspects of Computational Linguistics ⋮ The Lambek calculus with iteration: two variants ⋮ The polarized \(\lambda\)-calculus ⋮ Jumbo λ-Calculus ⋮ Unnamed Item ⋮ Infinite \(\lambda\)-calculus and types ⋮ A classical linear \(\lambda\)-calculus

Recommendations

• Infinite \(\lambda\)-calculus and types 👍 👎
• A classical linear \(\lambda\)-calculus 👍 👎
• The polarized \(\lambda\)-calculus 👍 👎
• The \(\lambda \mu^{\mathbf{T}}\)-calculus 👍 👎
• The differential \(\lambda \mu\)-calculus 👍 👎
• A mixed \(\lambda\)-calculus 👍 👎
• The λ-calculus in the π-calculus 👍 👎
• The algebraic lambda calculus 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: