Sequentiality and the CPS semantics of fresh names

DOI10.1016/J.ENTCS.2007.02.035MaRDI QIDQ5262939zbMATH OpenOpenAlexFDO

Authors

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.02.035

zbMATH Keywords

continuation-passing styleFM-setsfresh namesfull abstractionsequentiality

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Recommendations

• On a monadic semantics for freshness
• scientific article; zbMATH DE number 3976319
• A game semantics of names and pointers
• Functional and Logic Programming
• Sequential functions on indexed domains and full abstraction for a sub-language of PCF

Cites work

• Bistable Biorders: A Sequential Domain Theory
• Computer Science Logic
• Foundations of Software Science and Computation Structures
• Fully abstract models of typed \(\lambda\)-calculi
• On a monadic semantics for freshness

Cited in

(3)

• On a monadic semantics for freshness
• Freshness and Name-Restriction in Sets of Traces with Names
• Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts

This page was built for publication: Sequentiality and the CPS semantics of fresh names

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