Computing with contexts

DOI10.1023/A:1010052222987MaRDI QIDQ1125575zbMATH OpenOpenAlexFDO

Authors 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

lambda calculusoperational semantics\(\beta\)-reductioncall-by-value calculiencoding of reduction systemsrepresentation of contexts

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1231614
• A calculus of lambda calculus contexts
• A typed context calculus
• Enriching the lambda calculus with contexts: toward a theory of incremental program construction

Cited in

(5)

• Functional programming with higher-order abstract syntax and explicit substitutions
• Computing with continuous change
• A calculus of lambda calculus contexts
• scientific article; zbMATH DE number 1954368 (Why is no real title available?)
• scientific article; zbMATH DE number 1241639 (Why is no real title available?)

This page was built for publication: Computing with contexts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1125575)