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

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

schema:Book schema:ProductModel schema:CreativeWork
Proefschrift Amsterdam, V.U
rdfs:label "Recursive program schemes : semantics and proof theory / 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, V.U"
schema:sameAs <http://www.worldcat.org/oclc/63247975>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/c774be4574431166785ee781e43b7648>
http://purl.org/dc/terms#issued "1974"
schema:inLanguage "en"
schema:numberOfPages 116
schema:publication <https://data.bibliotheken.nl/.well-known/genid/e8454409186359d951ed025e88dcb2e4>
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql