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