Title of article
A Proof of Strong Normalization for F2, Fω, and Beyond
Author/Authors
Mcallester D.، نويسنده , , Kucan J.، نويسنده , , Otth D. F.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1195
Pages
8
From page
193
To page
200
Journal title
Information and Computation
Serial Year
1195
Journal title
Information and Computation
Record number
261577
Link To Document