nLab
Alexander Berenbeim

Blog on cohesive homotopy type theory:

  • Alexander Berenbeim, Explorations of the interesection of Cohesive Homotopy Type Theory, Allegory Theory, and Model Categories (web)
category: people

Created on October 13, 2014 at 15:58:27. See the history of this page for a list of all contributions to it.