hiː ɹˈoʊt hɪz dˈiː fˈɪl θˈiːsɪs kənˈɛkʃənz bᵻtwˌiːn kˈæɾɪɡɚɹi θˈiəɹi ænd lˈɑːdʒɪk ˌʌndɚ ðə suːpɚvˈɪʒən ʌv dˈeɪnə skˈɑːt æɾ ˈɑːksfɚd, dᵻfˈɛndɪŋ hɪz θˈiːsɪs ɪn nˈaɪntiːnhˈʌndɹɪd sˈɛvənti fˈoːɹ.
He wrote his DPhil thesis Connections between Category Theory and Logic under the supervision of Dana Scott at Oxford, defending his thesis in 1974.