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