Title of article

An interpretation of λμ-calculus in λ-calculus

Author/Authors

Ken-etsu Fujita، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 2002

Pages

4

From page

261

To page

264

Keywords

G?del–Gentzen translation , Fixed point combinators , Formal semantics , ?-model , Type free ??-calculus

Journal title

Information Processing Letters

Serial Year

2002

Journal title

Information Processing Letters

Record number

129617