Title of article
Full Abstraction in the Lazy Lambda Calculus
Author/Authors
Abramsky S.، نويسنده , , Ong C. H. L.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1993
Pages
109
From page
159
To page
267
Journal title
Information and Computation
Serial Year
1993
Journal title
Information and Computation
Record number
261334
Link To Document