Title of article
Decidability and Confluence of βη top≤ Reduction in F≤
Author/Authors
Curien P. L.، نويسنده , , Ghelli G.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1994
Pages
58
From page
57
To page
114
Journal title
Information and Computation
Serial Year
1994
Journal title
Information and Computation
Record number
333700
Link To Document