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

Title of article :

Perpetual Reductions inλ-Calculus,

Author/Authors :

Femke van Raamsdonk، نويسنده , , Paula Severi، نويسنده , , Morten Heine B. S?rensen، نويسنده , , Hongwei Xi، نويسنده ,

Issue Information :

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

Pages :

From page :

173

To page :

225

Journal title :

Information and Computation

Serial Year :

1999

Journal title :

Information and Computation

Record number :

333722

Link To Document :