Lambda-arvutus (λ-arvutus) on formaalne arvutuste esitusviis. Seda kasutatakse matemaatilises loogikas ja funktsionaalprogrammeerimises.
Avaldis λ-arvutuses koosneb kolme tüüpi λ-termidest:
Abstraktsioon on λ-arvutustes funktsiooni kirjeldus kujul , kus on funktsiooni sisend ja avaldis, mida arvutatakse. Näiteks tähistab funktsiooni . Kirjeldatud funktsioon on anonüümne ehk nimetu.
Aplikatsioon tähistab funktsiooni väljakutsumist sisendiga . Näiteks tähistab funktsiooni väljakutset sisendiga : .