nLab
Author — Jason Gross

Overview

Jason Gross has contributed to 3 nLab pages.

Most recent contributions

transfor 18: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