Title of article :
A construction of one-point bases in extended lambda calculi
Author/Authors :
Mayer Goldberg، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2004
Keywords :
Programming calculi , programming languages , functional programming , Lambda calculi , Bases , Constants
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
