Andreas Nuyts has contributed to 2 nLab pages.
| Peripatetic Seminar on Sheaves and Logic | 09:26:12, August 14 2026 |
| 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 |