Title of article

Inhabitation of Types in the Simply Typed Lambda Calculus

Author/Authors

Dekkers W.، نويسنده ,

Issue Information

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

Pages

4

From page

14

To page

17

Journal title

Information and Computation

Serial Year

1195

Journal title

Information and Computation

Record number

261521