Title of article

An Interpretation of Typed Objects into Typedπ-Calculus

Author/Authors

Davide Sangiorgi، نويسنده ,

Issue Information

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

Pages

40

From page

34

To page

73

Journal title

Information and Computation

Serial Year

1998

Journal title

Information and Computation

Record number

333721