Relating two semantics of locally scoped names

DOI10.4230/LIPICS.CSL.2011.396MaRDI QIDQ2915698zbMATH OpenFDO

Authors Steffen Lösch, Andrew M. Pitts

Publication date 18 September 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_48c6.html

zbMATH Keywords

continuationslocal namesobservational equivalencetyped lambda-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 431769
• Foundations of Software Science and Computation Structures
• Structural recursion with locally scoped names
• scientific article; zbMATH DE number 4018355
• Symmetries, local names and dynamic (de)-allocation of names
• On symbolic semantics for name-decorated contexts
• scientific article; zbMATH DE number 1512621
• Call-by-name extensionality and confluence
• Local Variable Scoping and Kleene Algebra with Tests
• Local variable scoping and Kleene algebra with tests

Cited in

(2)

• Structural recursion with locally scoped names
• Validating Brouwer's continuity principle for numbers using named exceptions

This page was built for publication: Relating two semantics of locally scoped names

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