nLab
Author — Auke Booij
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Overview
Auke Booij
has contributed to 3 nLab pages.
Most recent contributions
homotopy type theory
12:20:05, February 11 2019
red herring principle
12:40:15, October 01 2015
geometric transformation
10:32:52, August 31 2014
All pages contributed to
geometric transformation
homotopy type theory
red herring principle