Combinatorial species and finite sets in #HoTT

Combinatorial Species and Finite Sets in HoTT

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.