« Discussion:Lambda counting » : différence entre les versions
Aller à la navigation
Aller à la recherche
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| Ligne 17 : | Ligne 17 : | ||
Guillaume: |
Guillaume: |
||
NOTHING because I don't remember the proof of 'each starting lambda binds many variables' |
|||
* result about number of lambdas at the top of a random term |
|||
==Reservation of future semaphore== |
==Reservation of future semaphore== |
||
| Ligne 33 : | Ligne 33 : | ||
Guillaume: |
Guillaume: |
||
* anything not already chosen by someone in section 7. I will work the last week of November and the first of December (and more latter also). |
|||
== About the lower bound == |
== About the lower bound == |
||
Dernière version du 2 décembre 2008 à 21:04
Current semaphore
Attribution of the work currently being done (this is a semaphore !)
Rene:
- introduction
Christophe:
- the lower and upper bound for size 0 variables
Kasia:
- the result about closed-term (and much more)
Marek:
Jakub:
Guillaume: NOTHING because I don't remember the proof of 'each starting lambda binds many variables'
Reservation of future semaphore
Rene:
Christophe:
Kasia:
- generating function
Marek:
Jakub:
Guillaume:
About the lower bound
The lower bound can probably be improved by replacing Catalan with the sum of Mtzkin M(n,k) for k between 0 and n/ln(n). This probably would give the same exponential factor for the lower and upper bound and get us nearer to an equivalent. Is it worth it ?