A calculus of lambda calculus contexts
From MaRDI portal
Publication:5951522
DOI10.1023/A:1010654904735zbMath1010.03008MaRDI QIDQ5951522
Publication date: 12 May 2003
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)
Related Items
Strongly-Normalizing Higher-Order Relational Queries ⋮ Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms ⋮ Tactics and Parameters ⋮ Two-level Lambda-calculus ⋮ Processes against tests: on defining contextual equivalences ⋮ The lambda-context calculus (extended version)
This page was built for publication: A calculus of lambda calculus contexts