On completability of partial combinatory algebras (1996)

by A Asperti, A Ciabatoni
Venue:In: Proceedings of the Italian Conference on Theoretical Computer Science, Ravello, 1995, World Sci. Publishing, River Edge, NJ 162--175