Extending Partial Combinatory Algebras (1999)

by Inge Bethke, Jan Willem Klop, Roel de Vrijer