游擊隊式的邏輯學: 向 Mervyn Pragnell 致意 26 9 月, 2009 30 9 月, 2009 / 1 Comment / 人物, 計算算計 / Christopher Strachey, Mervyn Pragnell, Peter J. Landin, Rod Burstall, λ calculus, 歷史, 邏輯 Mervyn Pragnell 從沒擔任過學術工作,也沒有發表過論文。但他把英國電腦科學的幾個關鍵角色介紹給彼此,同樣重要地,讓他們認識了 Alonzo Church 的 λ calculus.