مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Full Abstraction for PCF

Author/Authors :

Samson Abramsky، نويسنده , , Radha Jagadeesan، نويسنده , , Pasquale Malacaria، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2000

Pages :

From page :

409

To page :

470

Keywords :

game semantics , full abstraction , func-tional computation , Programming language semantics , pcf , linear logic. , Sequentiality

Journal title :

Information and Computation

Serial Year :

2000

Journal title :

Information and Computation

Record number :

261935

Link To Document :