« Root

Reference. Species and their generating functions [00B6]

https://youtu.be/EAM3K4rzLTQ

Backlinks

References on Species [00B9]

Une theorie combinatoire des series formelles
Introduction to the Theory of Species of Structures
combinatorics groupoid cardinality and species
Species and their generating functions
A course on combinatorial species
species in agda-unimath