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
53
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