Daily Archives: January 2, 2018

Combinatorial species and finite sets in #HoTT

Combinatorial Species and Finite Sets in HoTT Advertisements

Posted in homotopy type theory