Title of article
Completeness of Continuation Models for λμ-Calculus
Author/Authors
Martin Hofmann، نويسنده , , Thomas Streicher، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
24
From page
332
To page
355
Journal title
Information and Computation
Serial Year
2002
Journal title
Information and Computation
Record number
333733
Link To Document