A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification
type: ProductModel
type: CreativeWork
type: Book
issued: 1980
about: p075603233
author: p068653433
description: Lit. opg
description: Voordruk
language: en
is part of: p82271776X
main entity of page: https://data.bibliotheken.nl/.well-known/genid/7f3905e0a954fa0493359125e1d89c56
number of pages: 11
label: A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification / J. A. Bergstra & J. V. Tucker