activity
20152024
most citedA mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory

11 citations · 16 across the 2 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2015

A Note on the Uniform Kan Condition in Nominal Cubical Sets

Robert Harper, Kuen-Bang Hou

Bezem, Coquand, and Huber have recently given a constructively valid model of higher type theory in a category of nominal cubical sets satisfying a novel condition, called the unif…