Computing with contexts
From MaRDI portal
Publication:1125575
DOI10.1023/A:1010052222987zbMath0936.03016OpenAlexW1557465145MaRDI QIDQ1125575
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
operational semanticslambda calculus\(\beta\)-reductioncall-by-value calculiencoding of reduction systemsrepresentation of contexts
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