scientific article; zbMATH DE number 1443050

MaRDI QIDQ4952053zbMATH OpenFDO

Authors

Publication date 9 July 2000

zbMATH Keywords

abstract functionBoolean functionconditional functionsevaluation functionlambda calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1479632
• The \(\lambda \mu^{\mathbf{T}}\)-calculus
• A mixed -calculus
• The -calculus in the -calculus
• Infinite \(\lambda\)-calculus and types
• The algebraic lambda calculus
• The differential \(\lambda \mu\)-calculus
• The \(\lambda\)-context calculus
• A classical linear \(\lambda\)-calculus
• The polarized \(\lambda\)-calculus

Cited in

(14)

• Infinite \(\lambda\)-calculus and types
• A classical linear \(\lambda\)-calculus
• The Lambek calculus with iteration: two variants
• The polarized \(\lambda\)-calculus
• Parametric parameter passing \(\lambda\)-calculus
• The differential \(\lambda \mu\)-calculus
• scientific article; zbMATH DE number 1696772 (Why is no real title available?)
• The lambda calculus: practice and principle
• scientific article; zbMATH DE number 3837991 (Why is no real title available?)
• Jumbo λ-Calculus
• Typed representation of objects by functions
• scientific article; zbMATH DE number 4099256 (Why is no real title available?)
• scientific article; zbMATH DE number 23772 (Why is no real title available?)
• Logical Aspects of Computational Linguistics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4952053)