Title of article

Kripke Logical Relations and PCF

Author/Authors

Ohearn P. W.، نويسنده , , Riecke J. G.، نويسنده ,

Issue Information

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

Pages

10

From page

107

To page

116

Journal title

Information and Computation

Serial Year

1195

Journal title

Information and Computation

Record number

261549