مرکز منطقه ای اطلاع رساني علوم و فناوري - Relational Interpretations of Recursive Types in an Operational Setting

Title of article :

Relational Interpretations of Recursive Types in an Operational Setting

Author/Authors :

Lars Birkedal، نويسنده , , Robert Harper، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1999

Pages :

From page :

To page :

Journal title :

Information and Computation

Serial Year :

1999

Journal title :

Information and Computation

Record number :

261868

Link To Document :