A Sufficient Condition for Completability of Partial Combinatory Algebras

Andrea Asperti, Agata Ciabattoni. A Sufficient Condition for Completability of Partial Combinatory Algebras. Journal of Symbolic Logic, 62(4):1209-1214, 1997.

Abstract

Abstract is missing.