1968年から1969年にかけてはシカゴ大学助教授を務め、ここでウィリアム・ハワードとカリー＝ハワード対応に関して議論している。
在1968年到1969年间，他在美国芝加哥大学担任助理教授期间结识了逻辑学家威廉·霍华德（WilliamAlvinHoward），并共同探讨了后来被称之为柯里-霍华德同构（Curry–Howardcorrespondence）的论题。