Monthly Archives: July 2016
Combinatorial Species and Finite Sets in HoTT
(Post by Brent Yorgey) My dissertation was on the topic of combinatorial species, and specifically on the idea of using species as a foundation for thinking about generalized notions of algebraic data types. (Species are sort of dual to containers; … Continue reading
Posted in Applications, Higher Inductive Types, Programming
Tagged combinatorial species, finite, species
6 Comments