Completing Partial Combinatory Algebras with Unique Head-Normal Forms

Completing Partial Combinatory Algebras with Unique Head-Normal Forms (1996)

by Inge Bethke , Jan Willem Klop , Roel De Vrijer

Citations:

3 - 1 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Completing Partial Combinatory Algebras with Unique Head-Normal Forms	user correction - Legacy Corrections
AUTHOR NAME	Inge Bethke	SVM HeaderParse 0.1
AUTHOR NAME	Jan Willem Klop	SVM HeaderParse 0.1
AUTHOR NAME	Roel De Vrijer	SVM HeaderParse 0.1
AUTHOR AFFIL	; 3; University of Utrecht; Department of Philosophy; CWI; Department of; Software Technology	SVM HeaderParse 0.2
AUTHOR ADDR	; P.O. Box 80126; 3508 TC Utrecht; The Netherlands; P.O. Box 94079; 1090 GB Amsterdam; The Netherlands	SVM HeaderParse 0.1
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. 1.	user correction - Legacy Corrections
YEAR	1996	user correction - Legacy Corrections
CITATIONS	16 found	ParsCit 1.0