Recursive program schemes : semantics and proof theory / door Willem Paul de Roever Jr

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

Proefschrift Amsterdam, Vrije Universiteit

rdfs:label	"Recursive program schemes : semantics and proof theory / door Willem Paul de Roever Jr"
schema:name	"Recursive program schemes : semantics and proof theory"
schema:author	Roever, Willem Paul de (1943-)
schema:description	"Proefschrift Amsterdam, Vrije Universiteit"
schema:sameAs	<http://www.worldcat.org/oclc/63247975>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/da4735a37e3b5c576ddabe2c52fe6bd8>
http://purl.org/dc/terms#issued	"1975"
schema:inLanguage	"en"
schema:numberOfPages	116
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/3a8d4fa116ae1adb82e82a604cbd6776>