nLab Author — Jelle Herold

Overview

Jelle Herold has contributed to 3 nLab pages.

Most recent contributions

double category	00:02:42, March 10 2017
type theory	10:31:58, August 31 2014
Coq	10:31:58, August 31 2014

All pages contributed to