nLab Author — Ambrus Kaposi

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

Overview

Ambrus Kaposi has contributed to 1 nLab pages.

Most recent contributions

inductive-inductive type 11:36:11, January 23 2018
inductive-inductive type 09:49:23, November 16 2017

All pages contributed to