Combinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van Raamsdonk - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Combinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van Raamsdonk

Combinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van Raamsdonk

http://data.bibliotheken.nl/id/nbt/p108938204

c4247a706d8c280099c014eb1a433185

mainEntity

Combinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van Raamsdonk

http://data.bibliotheken.nl/id/nbt/p108938204

about

author

contributor

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

isPartOf

Informatica rapport / Wiskundig Seminarium der Vrije Universiteit

mainEntityOfPage

c4247a706d8c280099c014eb1a433185

name

Combinatory reduction systems : introduction and survey

http://www.w3.org/2001/XMLSchema#string

numberOfPages

27

http://www.w3.org/2001/XMLSchema#integer

publication

1f06f70221093a722fe332eddb5b33e3

sameAs

type

label

Combinatory reduction systems ...... van Oostrom, F. van Raamsdonk

http://www.w3.org/2001/XMLSchema#string