Weak orthogonality implies confluence: the higher-order case / V. van Oostrom, F. van Raamsdonk

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

rdfs:label	"Weak orthogonality implies confluence: the higher-order case / V. van Oostrom, F. van Raamsdonk"
schema:name	"Weak orthogonality implies confluence: the higher-order case"
schema:author	Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
	Oostrom, Vincent van (1966-)
schema:contributor	Raamsdonk, Femke van
schema:sameAs	<http://www.worldcat.org/oclc/906666702>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/2128a172aa993d63e8d2b369b20e5233>
http://purl.org/dc/terms#issued	"1995"
schema:about	computerwiskunde
schema:inLanguage	"en"
schema:isPartOf	Report / Department of Computer Science
schema:numberOfPages	39
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/1f63730b6151f25dc1338812926843f5>