A calculus of lambda calculus contexts

DOI10.1023/A:1010654904735MaRDI QIDQ5951522zbMATH OpenFDO

Authors Mirna Bognar, Roel de Vrijer

Publication date 12 May 2003

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1010654904735

zbMATH Keywords

context calculuscontext representationlambda calculuspretyping

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

Recommendations

• The \(\lambda\)-context calculus
• A typed context calculus
• The lambda-context calculus (extended version)
• Enriching the lambda calculus with contexts: toward a theory of incremental program construction
• Computing with contexts

Cited in

(37)

• Applications of infinitary lambda calculus
• The lambda-context calculus (extended version)
• Computing with contexts
• A lambda-calculus for dynamic binding
• A notation for lambda terms. A generalization of environments
• The differential lambda-calculus
• Processes against tests: on defining contextual equivalences
• Functional back-ends within the lambda-sigma calculus
• Enriching the lambda calculus with contexts: toward a theory of incremental program construction
• Developing (meta)theory of -calculus in the theory of contexts
• The \(\lambda\)-context calculus
• Context Update for Lambdas and Vectors
• A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
• A Lambda-Calculus with Constructors
• An Introduction to the Lambda Calculus
• One method of defining the semantics of programming language constructs in terms of lambda calculus. II
• An interpreter for slips—An applicative language based on LAMBDA-Calculus
• scientific article; zbMATH DE number 4061195 (Why is no real title available?)
• scientific article; zbMATH DE number 18638 (Why is no real title available?)
• scientific article; zbMATH DE number 1231614 (Why is no real title available?)
• scientific article; zbMATH DE number 627411 (Why is no real title available?)
• Thunks and the λ-calculus
• scientific article; zbMATH DE number 873325 (Why is no real title available?)
• scientific article; zbMATH DE number 6148924 (Why is no real title available?)
• Tactics and parameters
• A partial evaluator for the untyped lambda-calculus
• Two-level lambda-calculus
• Strongly-Normalizing Higher-Order Relational Queries
• Programming in the λ-Calculus: From Church to Scott and Back
• The Intensional Lambda Calculus
• Logical Aspects of Computational Linguistics
• A typed context calculus
• Processes, systems \& tests: defining contextual equivalences
• Multi-level contextual type theory
• The parametric lambda calculus. A metamodel for computation.
• The calculus of context relations
• Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms

This page was built for publication: A calculus of lambda calculus contexts

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