مرکز منطقه ای اطلاع رساني علوم و فناوري - An interpretation of λμ-calculus in λ-calculus

Title of article :

An interpretation of λμ-calculus in λ-calculus

Author/Authors :

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

Issue Information :

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

Pages :

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

Link To Document :