Computing with contexts

DOI10.1023/A:1010052222987zbMath0936.03016OpenAlexW1557465145MaRDI QIDQ1125575

Ian A. Mason

Publication date: 30 January 2000

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1010052222987

zbMATH Keywords

operational semanticslambda calculus\(\beta\)-reductioncall-by-value calculiencoding of reduction systemsrepresentation of contexts

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions

This page was built for publication: Computing with contexts