« Discussion:Lambda counting » : différence entre les versions

De Wiki du LAMA (UMR 5127)
Aller à la navigation Aller à la recherche
Aucun résumé des modifications
Aucun résumé des modifications
Ligne 1 : Ligne 1 :
==Semaphore==


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

Version du 17 octobre 2008 à 13:08

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: