Completing Partial Combinatory Algebras With Unique Head-Normal Forms.

Inge Bethke, Jan Willem Klop, Roel C. de Vrijer

Browse the full LICS paper archive.