Games and full abstraction for FPC

Authors
McCusker, G
Citation
G. Mccusker, Games and full abstraction for FPC, INF COMPUT, 160(1-2), 2000, pp. 1-61
Citations number
47
Categorie Soggetti
Information Tecnology & Communication Systems
Journal title
INFORMATION AND COMPUTATION
ISSN journal
08905401 → ACNP
Volume
160
Issue
1-2
Year of publication
2000
Pages
1 - 61
Database
ISI
SICI code
0890-5401(200007/08)160:1-2<1:GAFAFF>2.0.ZU;2-Z
Abstract
A new category of games is developed which improves over existing such cate gories in that it interprets sums as well as products, function spaces, and recursive types. A model of FPC, a sequential functional language with jus t this type structure, is described and shown to be fully abstract. (C) 200 0 Academic Press.