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

נוספו 4 בתים ,  לפני 11 שנים
מ (r2.7.1) (בוט משנה: vi:Phép tính lambda)
== לקריאה נוספת ==
 
* [[ארנון אברון]], [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)