On the existence of extensional partial combinatory algebras (1987)

by Inge Bethke
Venue:The Journal of Symbolic Logic