An interpretation of dependent type theory in a model category of locally cartesian closed categories
Locally cartesian closed (lcc) categories are natural categorical models...
The ALEA Coq library formalizes measure theory based on a variant of the...
Martin E. Bidlingmaieris this you? claim profile