תחשיב למדא (לעיתים גם: תחשיב למְבְּדא באנגלית: Lambda calculus) הוא צורה לוגית⁻פורמלית ריגורוזית להצגה וטיפול בפונקציות במתמטיקה ומדעי המחשב. תחשיב למדא הוא נושא בעל חשיבות בלוגיקה מתמטית (תורת הטיפוסים), יסודות המתמטיקה, מדעי המחשב התאורטיים, בתכנות פונקציונלי ובמערכות הוכחה אוטומטיות. מתוך ויקיפדיה

למדא (אי), למבדא במפרש, למבדא בקשת, למבדה (שיר), למבדה באוריון, למדא רייזינג, למבדותריום, למבה, למבורגיני, למבורגיני 350 GT