チャーチ＝チューリングのテーゼ
The seminal work in the area of object-oriented programming is "On Understanding Types", which was co-authored with Luca Cardelli. On relevance of the Church–Turing thesis, he co-authored several papers and co-edited a book "Interactive Computation: the New Paradigm", which was published in 2006.