彼得·蘭丁

彼得 · 約翰 · 蘭丁  ， 英國計算機科學家 。 他最早提出阿隆佐 · 邱奇的λ演算可以被用作計算機程序語言的模型 ， 這後來成爲函數式編程和指稱語義的基礎 。