Sale!

Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance Andreas Nuyts

Original price was: $50.00.Current price is: $35.00.

Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance Andreas Nuyts Digital Instant Download

Author(s): Andreas Nuyts
ISBN(s): 9783216321404, 3216321401
Edition: version 4 Jun 2015
File Details: PDF, 1.47 MB
Year: 2015
Language: english
SKU: EB-7261304 Category: Tag:

Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance Andreas Nuyts – Ebook Instant Download/Delivery ISBN(s): 9783216321404,3216321401