Title of article :
Completeness of Continuation Models for λμ-Calculus
Author/Authors :
Martin Hofmann، نويسنده , , Thomas Streicher، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Journal title :
Information and Computation
Journal title :
Information and Computation
