مرکز منطقه ای اطلاع رساني علوم و فناوري - λβ′ — A λ-calculus with a generalized β-reduction rule

Title of article :

λβ′ — A λ-calculus with a generalized β-reduction rule

Author/Authors :

Sundeep Oberoi، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

Currying , Theory of computation , Unordered currying , Lambda calculus , Beta reduction

Journal title :

Information Processing Letters

Serial Year :

1995

Journal title :

Information Processing Letters

Record number :

128235

Link To Document :