مرکز منطقه ای اطلاع رساني علوم و فناوري - On Full Abstraction for PCF: I, II, and III

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 :