ulrikbuchholtz / series-formelles Goto Github PK
View Code? Open in Web Editor NEWThis project forked from byorgey/series-formelles
Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of formal series)