27 citations · 100 across the 13 of their papers we have counts for
1 paper · 1 filter
Daniel R. Licata, Michael Shulman
Recent work on homotopy type theory exploits an exciting new correspondence between Martin-Lof's dependent type theory and the mathematical disciplines of category theory and homot…