Combinatory reduction systems : introduction and survey
type: ProductModel
type: Book
type: CreativeWork
issued: 1993
about: p075658321
about: p075603233
author: p068413955
author: p075404001
contributor: p081437684
contributor: p100611249
language: en
is part of: p840821077
main entity of page: https://data.bibliotheken.nl/.well-known/genid/ecc73c6a17ccb4cd0f914deaa90279aa
number of pages: 26
label: Combinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van Raamsdonk