Semantics of the second-order Lambda calculus, algebra and models / Bart Jacobs - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Semantics of the second-order Lambda calculus, algebra and models / Bart Jacobs

Semantics of the second-order Lambda calculus, algebra and models / Bart Jacobs

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

ac30c8046e4dfc93d3dfd202a76c1ee0

mainEntity

Semantics of the second-order Lambda calculus, algebra and models / Bart Jacobs

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

about

author

inLanguage

en

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

isPartOf

mainEntityOfPage

ac30c8046e4dfc93d3dfd202a76c1ee0

name

Semantics of the second-order Lambda calculus, algebra and models

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

numberOfPages

36

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

publication

6b8e1f1a63864264fbc250f78e362f22

sameAs

type

label

Semantics of the second-order Lambda calculus, algebra and models / Bart Jacobs

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