Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions
Open Access
- 1 January 1996
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 3, 2-14
- https://doi.org/10.1016/s1571-0661(05)80398-6
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Objects, Interference, and the Yoneda EmbeddingElectronic Notes in Theoretical Computer Science, 1995
- Categories for TypesPublished by Cambridge University Press (CUP) ,1994
- LCF considered as a programming languageTheoretical Computer Science, 1977