Full abstraction for nominal Scott domains

DOI10.1145/2429069.2429073zbMath1301.68103OpenAlexW1986231595MaRDI QIDQ2931777

Steffen Lösch, Andrew M. Pitts

Publication date: 27 November 2014

Published in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2429069.2429073

zbMATH Keywords

symmetrydenotational semanticsfull abstractiondomain theorynominal sets

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Full abstraction for nominal Scott domains