Calibre-Web
  • Advanced Search
    • Guest

Uploading...

Please do not refresh the page.
  • Browse
  • Books
  • Shelves

Author: Jackson Macor

A brief introduction to type theory and the univalence axiom

A brief introduction to type theory and the univalence axiom

Jackson Macor

Book Details

...