Full abstraction for PCF

View/Open
Volume
163
Pagination
409 - 470
DOI
10.1006/inco.2000.2930
Journal
INFORM COMPUT
Issue
2
ISSN
0890-5401
Metadata
Show full item record
Authors
Abramsky, S; Jagadeesan, R; Malacaria, P
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/13604
Collections
Licence information
doi:10.1006/inco.2000.2930