Title of article
The Simply Typed Theory ofβ-conversion Has No Maximum Extension
Author/Authors
Franco Barbanera، نويسنده , , Stefano Berardi، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1997
Pages
5
From page
57
To page
61
Journal title
Information and Computation
Serial Year
1997
Journal title
Information and Computation
Record number
261740
Link To Document