彼得·兰丁 彼得约翰兰丁英語Peter John Landin年月日年月日英国计算机科学家他最早提出阿隆佐邱奇的λ演算可以被用作计算机程序语言的模型这后来成为函数式编程和指称语义的基础