The Intensional Lambda Calculus

DOI10.1007/978-3-540-72734-7_2MaRDI QIDQ5434495zbMATH OpenOpenAlexFDO

Authors Eduardo Bonelli, Sergei Artemov

Publication date 4 January 2008

Published in Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72734-7_2

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• Lambda calculus and intuitionistic linear logic
• scientific article; zbMATH DE number 6148924
• The \(\lambda\)-context calculus
• Infinitary lambda calculus
• A calculus of lambda calculus contexts
• The lambda-context calculus (extended version)
• scientific article; zbMATH DE number 919545
• An Introduction to the Lambda Calculus
• The differential lambda-calculus
• The algebraic lambda calculus

Cited in

(38)

• Applications of infinitary lambda calculus
• A lambda-calculus for dynamic binding
• Scheme: A interpreter for extended lambda calculus
• Proof-functional connectives and realizability
• Lambda-calculus with director strings
• Intensional completeness in an extension of Gödel/Dummett logic
• The differential lambda-calculus
• Curry-Howard-Lambek correspondence for intuitionistic belief
• Self-quotation in a typed, intensional lambda-calculus
• Hypothetical logic of proofs
• J-Calc: a typed lambda calculus for intuitionistic justification logic
• Intuitionistic hypothetical logic of proofs
• Functional back-ends within the lambda-sigma calculus
• A Curry-Howard view of basic justification logic
• scientific article; zbMATH DE number 5872263 (Why is no real title available?)
• An Introduction to the Lambda Calculus
• The Logic of Proofs as a Foundation for Certifying Mobile Computation
• scientific article; zbMATH DE number 4051567 (Why is no real title available?)
• scientific article; zbMATH DE number 18638 (Why is no real title available?)
• Justification logic as a foundation for certifying mobile computation
• Thunks and the λ-calculus
• scientific article; zbMATH DE number 2006628 (Why is no real title available?)
• Theoretical Pearls:Representing ‘undefined’ in lambda calculus
• scientific article; zbMATH DE number 873325 (Why is no real title available?)
• scientific article; zbMATH DE number 919545 (Why is no real title available?)
• scientific article; zbMATH DE number 6148924 (Why is no real title available?)
• HTLC: hyperintensional typed lambda calculus
• Semirings of Evidence
• Programming in the λ-Calculus: From Church to Scott and Back
• Initial algebra semantics for lambda calculi
• Comparing models of the intensional typed -calculus
• The parametric lambda calculus. A metamodel for computation.
• On the expressive power of schemes
• The semantics of second-order lambda calculus
• Translating lambda calculus into C++ templates
• Reduction rules for intuitionistic -calculus
• Lambda calculus with patterns
• The weak lambda calculus as a reasonable machine

This page was built for publication: The Intensional Lambda Calculus

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