佐·邱奇的λ演算可以被用作计算机程序语言的模型，这后来成为函数式编程和指称语义的基础。
学术生涯.兰丁出生于英格兰的谢菲尔德，中学时代就读于爱德华七世学校；他从剑桥大学克莱尔学院毕业。在1960年到1964年间，他成为了克里斯托弗·斯特雷奇的助手，当时斯特雷奇在伦敦担任一名独立计算机顾问。他的大部分成果均发表于这期间以及后来在美国麻省理工学院参与UNIVAC工作的短暂时间。之后他在伦敦玛丽王后大学找到了一份教职工作。70年代到80年代，他的主要精力投入了伦敦玛丽王后大学计算机科学部