A sufficient condition for completability of partial combinatory algebras (1997)

by A Asperti, A Ciabatoni
Venue:Journal of Symbolic Logic