nLab Author — Jasper Hugunin

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

Overview

Jasper Hugunin has contributed to 2 nLab pages.

Most recent contributions

Initiality Project 23:42:20, September 26 2018
inductive-inductive type 03:17:03, September 06 2018

All pages contributed to