Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Eleventh Annual IEEE Symposium on

Logic in Computer Science (LICS 1996)

Paper: Completing Partial Combinatory Algebras with Unique Head-Normal Forms (at LICS 1996)

Authors: Inge Bethke Jan Willem Klop Roel C. de Vrijer

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.

BibTeX

  @InProceedings{BethkeKlopdeVrijer-CompletingPartialCo,
    author = 	 {Inge Bethke and Jan Willem Klop and Roel C. de Vrijer},
    title = 	 {Completing Partial Combinatory Algebras with Unique Head-Normal Forms},
    booktitle =  {Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science (LICS 1996)},
    year =	 {1996},
    month =	 {July}, 
    pages =      {448--454},
    location =   {New Brunswick, NJ, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }
   

Last modified: 2017-04-0512:37
Andrzej Murawski