Temporal Type Theory

Type:

e-book

Titel:

Temporal Type Theory

Auteur:

Schultz; Spivak, David I.

Taal:

Engels

Uitgever:

Springer International Publishing 2019

ISBN:

3-030-00703-0
3-030-00704-9

Permalink:

http://bibtest.howest.be/catalog/ebk03:4100000007598550