Abstraction and computation : type theory, algebraic structures, and recursive functions / Venanzio Capretta
http://data.bibliotheken.nl/id/nbt/p238366537 an entity of type: CreativeWork
Abstraction and computation : type theory, algebraic structures, and recursive functions / Venanzio Capretta
9090157387
Proefschrift Katholieke Universiteit Nijmegen
en
Abstraction and computation : type theory, algebraic structures, and recursive functions
xsd:integer
259
blank nodes
xsd:gYear
2002