부분 조합 대수(partial combinatory algebra, pca)의 완성에 대한 연구를 수행하였다. 특히 Kleene의 두 번째 모델 K2와 그 일반화에 초점을 맞추었다. 약한 완성과 강한 완성의 개념을 정의하고, K2와 그 일반화인 Kκ2가 강한 완성을 가진다는 것을 보였다. 또한 모든 가산 pca가 약한 완성을 가지며, 모든 pca가 약한 완성을 가지는 것이 일관적이라는 것을 증명하였다.
