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

fYear

1996

fDate

27-30 Jul 1996

Firstpage

448

Lastpage

454

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on

Conference_Location

New Brunswick, NJ

ISSN

1043-6871

Print_ISBN

0-8186-7463-6

Type

conf

DOI

10.1109/LICS.1996.561461

Filename

561461

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2740200