Discussion:Lambda counting

Current 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)

Marek:

Jakub:

Guillaume:

Reservation of future semaphore

Rene:

Christophe:

Kasia:

• generating function

Marek:

Jakub:

Guillaume: