Title :
Completing partial combinatory algebras with unique head-normal forms
Author :
Bethke, Inge ; Klop, Jan Willem ; De Vrijer, Roel
Author_Institution :
Dept. of Philos., Utrecht Univ., Netherlands
Abstract :
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
Keywords :
formal logic; natural numbers; partial combinatory algebras; partial recursive function application; pca; strongly normalizing CL-terms; sufficient condition; unique head-normal forms; Algebra; Application software; Books; Computation theory; Computer languages; Computer science; Context modeling; Logic programming; Mathematics; Principal component analysis;
Conference_Titel :
Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on
Conference_Location :
New Brunswick, NJ
Print_ISBN :
0-8186-7463-6
DOI :
10.1109/LICS.1996.561461
