nLab Author — Andreas Nuyts

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

Overview

Andreas Nuyts has contributed to 1 nLab pages.

Most recent contributions

T. Streicher - a model of type theory in simplicial sets - a brief introduction to Voevodsky' s homotopy type theory 11:46:37, July 22 2015

All pages contributed to