Show simple item record

dc.contributor.authorTzevelekos, Nen_US
dc.date.accessioned2013-01-28T10:37:44Z
dc.date.issued2009en_US
dc.identifier.issn1860-5974en_US
dc.identifier.other8
dc.identifier.other8
dc.identifier.other8en_US
dc.identifier.other8en_US
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/3283
dc.descriptionCopyright for articles published in Logical Methods in Computer Science is retained by the authors. Logical Methods in Computer Science is an open-access journal. All journal content is licensed under a Creative Commons license (http://creativecommons.org/licenses/by-nd/2.0/)en
dc.descriptionPublished in Logical Methods in Computer Science Vol. 5 (3:8) 2009, pp. 1–69 www.lmcs-online.org
dc.description.sponsorshipResearch financially supported by the Engineering and Physical Sciences Research Council, the Eugenides Foundation, the A. G. Leventis Foundation and Brasenose College.en
dc.format.extent? - ?en_US
dc.language.isoenen
dc.relation.ispartofLOG METH COMPUT SCIen_US
dc.subjectgame semanticsen_US
dc.subjectdenotational semanticsen_US
dc.subjectmonads and comonadsen_US
dc.subjectnu-calculusen_US
dc.subjectMLen_US
dc.subjectGAME SEMANTICSen_US
dc.subjectNAMESen_US
dc.subjectCOMPUTATIONen_US
dc.subjectLOGICen_US
dc.subjectPCFen_US
dc.titleFULL ABSTRACTION FOR NOMINAL GENERAL REFERENCESen_US
dc.typeArticle
dc.rights.holder©Nikos Tzevelekos, Oxford University Computing Laboratory
dc.identifier.doi10.2168/LMCS-5(3:8)2009en_US
pubs.issue3en_US
pubs.notesNot knownen_US
pubs.volume5en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record