Skip to content

Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of formal series)

Notifications You must be signed in to change notification settings

byorgey/series-formelles

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

A translation into English and commentary on André Joyal's classic paper, Une théorie combinatoire des séries formelles (A combinatorial theory of formal series), which introduced the notion of combinatorial species.

This is a work in progress. The latest version of the PDF (automatically updated) can be found here.

To build the document yourself:

  1. If you don't already have it installed, install the stack tool by following the instructions at. https://docs.haskellstack.org/en/stable/README/ .
  2. Run build.sh.

Step 2 will take quite a while (probably tens of minutes) the first time, but subsequent runs should be fast.

About

Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of formal series)

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published