Title of article
Relational Interpretations of Recursive Types in an Operational Setting
Author/Authors
Lars Birkedal، نويسنده , , Robert Harper، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1999
Pages
61
From page
3
To page
63
Journal title
Information and Computation
Serial Year
1999
Journal title
Information and Computation
Record number
261868
Link To Document