Partial Combinatory Algebras and Realizability Toposes (2004)

by Pieter J. W. Hofstra