Completing partial combinatory algebras with unique head-normal forms / I. Bethke, J.W. Klop, R. de Vrijer

<http://data.bibliotheken.nl/id/nbt/p140711627>

rdfs:label	"Completing partial combinatory algebras with unique head-normal forms / I. Bethke, J.W. Klop, R. de Vrijer"
schema:name	"Completing partial combinatory algebras with unique head-normal forms"
schema:author	Bethke, Ingemarie
	Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
schema:contributor	Klop, Jan Willem (1945-)
	Vrijer, Roelof Cornelis de
schema:sameAs	<http://www.worldcat.org/oclc/906707517>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/fd05646f620513ddcb0334eae5fb790b>
http://purl.org/dc/terms#issued	"1995"
schema:about	combinatietheorie
	wiskundige logica
	algebra
schema:inLanguage	"en"
schema:isPartOf	Report / Department of Computer Science
schema:numberOfPages	12
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/cdd954b51abc7d77515eb3dc5e5c39ac>