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.

• Type: Conference
• Year: 1996
• Where: LICS
• Authors: Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
• Keywords: Automated Reasoning, Combinatory Algebras, LICS 1996, Partial Combinatory Algebras, Total Combinatory Algebras