Recursive program schemes : semantics and proof theory / door Willem Paul de Roever Jr
type: Book
type: CreativeWork
type: ProductModel
description: Proefschrift Amsterdam, Vrije Universiteit
main entity of page: https://data.bibliotheken.nl/.well-known/genid/da4735a37e3b5c576ddabe2c52fe6bd8
name: Recursive program schemes : semantics and proof theory
author: p068477848
language: en
number of pages: 116
issued: 1975