Discussion:Lambda counting

Semaphore

Attribution of the work currently being done (this is a semaphore !)

Rene:

• section about lambda calculus to fix notation

Christophe:

• the lower and upper bound for size 0 variables

Kasia:

• the result about closed-term (and much more)
• generating function

Marek:

Jakub:

Guillaume: