Comparing combinatory reduction systems and higher-order rewrite systems / V. van Oostrom, F. van Raamsdonk
type: Book
type: CreativeWork
type: ProductModel
issued: 1993
about: p075619539
about: p075621606
about: p075659158
author: p075387077
author: p081437684
contributor: p100611249
language: en
is part of: p042305667
main entity of page: https://data.bibliotheken.nl/.well-known/genid/828957d7479e1e583120fa9f2824d937
name: Comparing combinatory reduction systems and higher-order rewrite systems
number of pages: 30