Paper: Completing Partial Combinatory Algebras with Unique Head-Normal Forms (at LICS 1996)
Authors: Inge Bethke Jan Willem Klop Roel de VrijerAbstract
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.
BibTeX
@InProceedings{BethkeKlopdeVrijer-CompletingPartialCo, author = {Inge Bethke and Jan Willem Klop and Roel de Vrijer}, title = {Completing Partial Combinatory Algebras with Unique Head-Normal Forms}, booktitle = {Proceedings of the Eleventh Annual IEEE Symp. on Logic in Computer Science, {LICS} 1996}, year = 1996, editor = {Edmund M. Clarke}, month = {July}, pages = {448-454}, location = {New Brunswick, NJ, USA}, publisher = {IEEE Computer Society Press} }