« Root

Reference. species in agda-unimath [00B8]

  https://unimath.github.io/agda-unimath/species.html

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