Explicit substitutions for objects and functions

DOI10.1007/BFB0056615MaRDI QIDQ4217940zbMATH OpenFDO

Authors Delia Kesner, Pablo E. Martínez-López

Publication date 11 November 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0056615

zbMATH Keywords

calculus with explicit substitutionsconfluenceobject-oriented languagesstrong normalization

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1508928
• Using fields and explicit substitutions to implement objects and functions in a de Bruijn setting
• Explicit substitutions
• A Theory of Explicit Substitutions with Safe and Full Composition

Cited in

(6)

• On explicit substitution with names
• Simulation of behaviour and object substitutability
• Inter-deriving Semantic Artifacts for Object-Oriented Programming
• scientific article; zbMATH DE number 1508928 (Why is no real title available?)
• On explicit substitutions and names (extended abstract)
• Using fields and explicit substitutions to implement objects and functions in a de Bruijn setting

This page was built for publication: Explicit substitutions for objects and functions

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