Pages that link to "Item:Q5951522"

The following pages link to A calculus of lambda calculus contexts (Q5951522):

Displaying 30 items.

• The parametric lambda calculus. A metamodel for computation. (Q703856) (← links)
• The calculus of context relations (Q918720) (← links)
• Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
• Applications of infinitary lambda calculus (Q1021568) (← links)
• The lambda-context calculus (extended version) (Q1044184) (← links)
• A lambda-calculus for dynamic binding (Q1127514) (← links)
• A notation for lambda terms. A generalization of environments (Q1129257) (← links)
• The differential lambda-calculus (Q1884894) (← links)
• Processes against tests: on defining contextual equivalences (Q2079681) (← links)
• Functional back-ends within the lambda-sigma calculus (Q2817681) (← links)
• Enriching the lambda calculus with contexts: toward a theory of incremental program construction (Q2817703) (← links)
• Context Update for Lambdas and Vectors (Q2964008) (← links)
• A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations (Q3520145) (← links)
• A Lambda-Calculus with Constructors (Q3527294) (← links)
• An Introduction to the Lambda Calculus (Q3599178) (← links)
• One method of defining the semantics of programming language constructs in terms of lambda calculus. II (Q3706514) (← links)
• An interpreter for slips—An applicative language based on LAMBDA-Calculus (Q3719792) (← links)
• (Q3976042) (← links)
• (Q4304752) (← links)
• Thunks and the λ-calculus (Q4358459) (← links)
• (Q4876428) (← links)
• (Q4912847) (← links)
• Tactics and Parameters (Q4924546) (← links)
• A partial evaluator for the untyped lambda-calculus (Q4939696) (← links)
• Two-level Lambda-calculus (Q4982628) (← links)
• Strongly-Normalizing Higher-Order Relational Queries (Q5043580) (← links)
• Programming in the λ-Calculus: From Church to Scott and Back (Q5410454) (← links)
• The Intensional Lambda Calculus (Q5434495) (← links)
• Logical Aspects of Computational Linguistics (Q5706932) (← links)
• Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)