nLab Author — Jason Gross

Skip the Navigation Links | Home Page | All Pages | Latest Revisions |

Overview

Jason Gross has contributed to 3 nLab pages.

Most recent contributions

transfor 22:54:18, August 20 2019
univalence axiom 10:32:56, August 31 2014
univalence axiom 10:32:56, August 31 2014
directed homotopy type theory 10:32:50, August 31 2014

All pages contributed to