Show simple item record

Full abstraction for PCF

dc.contributor.authorAbramsky, Sen_US
dc.contributor.authorJagadeesan, Ren_US
dc.contributor.authorMalacaria, Pen_US
dc.date.accessioned2016-07-21T14:51:19Z
dc.date.issued2000-12-15en_US
dc.date.submitted2016-04-12T12:27:49.084Z
dc.identifier.issn0890-5401en_US
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/13604
dc.format.extent409 - 470en_US
dc.relation.ispartofINFORM COMPUTen_US
dc.rightsdoi:10.1006/inco.2000.2930
dc.subjectgame semanticsen_US
dc.subjectfull abstractionen_US
dc.subjectsequentialityen_US
dc.subjectPCFen_US
dc.subjectfunctional computationen_US
dc.subjectprogramming language semanticsen_US
dc.subjectlinear logicen_US
dc.subjectSEQUENTIAL ALGORITHMSen_US
dc.subjectGAMESen_US
dc.titleFull abstraction for PCFen_US
dc.typeArticle
dc.identifier.doi10.1006/inco.2000.2930en_US
pubs.issue2en_US
pubs.notesNot knownen_US
pubs.notesInitial upload not completed by author, 12/04/2016; completed on behalf of the author, 14/07/2016, SMen_US
pubs.volume163en_US


Files in this item

Thumbnail
Name:
Malacaria Full abstraction for ...
Size:
484.0Kb
Format:
application/
Description:
Accepted Version
View/Open

This item appears in the following Collection(s)

Show simple item record