Sciweavers

LICS
1996
IEEE

Completing Partial Combinatory Algebras With Unique Head-Normal Forms

14 years 4 months ago
Completing Partial Combinatory Algebras With Unique Head-Normal Forms
In this note, we prove that having unique head-normal forms is a sufficient condition on partial combinatory algebras to be completable. As application,we show that the pca of strongly normalizing CL-terms as well as the pca of natural numbers with partial recursive function application can be extended to total combinatory algebras.
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1996
Where LICS
Authors Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
Comments (0)