Abstraction and computation : type theory, algebraic structures, and recursive functions / Venanzio Capretta - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Abstraction and computation : type theory, algebraic structures, and recursive functions / Venanzio Capretta

Abstraction and computation : type theory, algebraic structures, and recursive functions / Venanzio Capretta

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

ec523c96dabf53fb0ed1bf839c9df60b

mainEntity

Abstraction and computation : type theory, algebraic structures, and recursive functions / Venanzio Capretta

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

about

author

description

Proefschrift Katholieke Universiteit Nijmegen

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

inLanguage

en

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

isbn

9090157387

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

mainEntityOfPage

ec523c96dabf53fb0ed1bf839c9df60b

name

Abstraction and computation : type theory, algebraic structures, and recursive functions

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

numberOfPages

259

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

publication

bb75f66f7dccebae163e0a7e49838cf3

sameAs

type

label

Abstraction and computation : ...... functions / Venanzio Capretta

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