Title of article :
A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus
Author/Authors :
Antonino Salibra، نويسنده , , Robert Goldblatt، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1999
Keywords :
abstractsubstitution , combinatory algebras , lambda algebras , lambda calculus , lambda abstraction algebras , lambda models.
Journal title :
Information and Computation
Journal title :
Information and Computation
