Il lambda calcolo o λ-calcolo è un sistema formale definito dal matematico Alonzo Church, sviluppato per analizzare formalmente le funzioni e il loro calcolo. Le prime sono espresse per mezzo di un linguaggio formale, che stabilisce quali siano le regole per formare un termine, il secondo con un sistema di riscrittura, che definisce come i termini possano essere ridotti e semplificati.

La geometria (dal latino geometrĭa e questo dal greco antico "γεωμετρία", composto dal prefisso geo che rimanda alla parola γή = "terra" e μετρία, metria = "misura", tradotto quindi letteralmente come misurazione della terra) è quella parte della scienza matematica che si occupa delle forme nel piano e nello spazio e delle loro mutue relazioni.