Title of article
On Full Abstraction for PCF: I, II, and III
Author/Authors
J. M. E. Hyland، نويسنده , , C. -H. L. Ong، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
124
From page
285
To page
408
Keywords
higher-type sequential computation , full abstraction , pcf , *-calculus , game semantics.
Journal title
Information and Computation
Serial Year
2000
Journal title
Information and Computation
Record number
261934
Link To Document