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

lambda calculuscontext calculuscontext representationpretyping

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

(35)

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

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)