Recursive program schemes : semantics and proof theory
type: Book
type: ProductModel
type: CreativeWork
issued: 1974
author: p068477848
description: Proefschrift Amsterdam, V.U
language: en
main entity of page: https://data.bibliotheken.nl/.well-known/genid/c774be4574431166785ee781e43b7648
number of pages: 116
label: Recursive program schemes : semantics and proof theory / Willem Paul de Roever Jr