Sequentiality and the CPS Semantics of Fresh Names

DOI10.1016/J.ENTCS.2007.02.035zbMath1316.68067OpenAlexW1994230003MaRDI QIDQ5262939

No author found.

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

full abstractionFM-setssequentialitycontinuation-passing stylefresh names

Mathematics Subject Classification ID

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

Related Items (1)

Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts

Cites Work

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

This page was built for publication: Sequentiality and the CPS Semantics of Fresh Names