תחשיב למדא – הבדלי גרסאות

* [[ארנון אברון]], [http://www.cs.tau.ac.il/~odedr/book_discrete_math/bdida_all.pdf '''מבוא למתמטיקה בדידה'''], הוצאת [[אוניברסיטת תל אביב]]

* '''The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103).''' Revised Edition H.P. Barendregt, Publisher: North Holland; Revised edition (November 15, 1985)

 

[[קטגוריה:לוגיקה מתמטית]]

 

[[en:Lambda calculus]]