nLab Author — Thierry Coquand

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

Overview

Thierry Coquand has contributed to 1 nLab pages.

Most recent contributions

proof theoretic strength of univalent type theory plus HITs 14:29:06, August 05 2023

All pages contributed to