Recursive program schemes : semantics and proof theory
type: ProductModel
type: Book
type: CreativeWork
issued: 1976
associated media: http://bvbr.bib-bvb.de:8991/F
associated media: http://www.gbv.de/dms/hbz/toc/ht000972736.pdf
associated media: http://bvbm2.bib-bvb.de:8993/F
author: p068477848
description: Eerder verschenen als proefschrift Amsterdam, V.U., 1974
language: en
is part of: p821566490
isbn: 9061961270
main entity of page: https://data.bibliotheken.nl/.well-known/genid/241e17c66abe60d4d0a7e09c32fb7fad
number of pages: 112
label: Recursive program schemes : semantics and proof theory / W.P. de Roever, Jr