Contributions de Kasia
Aller à la navigation
Aller à la recherche
19 décembre 2008
- 08:0519 décembre 2008 à 08:05 diff hist −10 Lambda counting →main results
8 décembre 2008
- 10:038 décembre 2008 à 10:03 diff hist −19 Lambda counting →Motzkin numbers
5 décembre 2008
- 10:185 décembre 2008 à 10:18 diff hist +131 Lambda counting →Head lambdas bind "many" occurrences of the corresponding variables
3 décembre 2008
- 14:393 décembre 2008 à 14:39 diff hist +159 Lambda counting →Head lambdas bind "many" occurrences of the corresponding variables
24 octobre 2008
- 21:4124 octobre 2008 à 21:41 diff hist −16 Lambda counting →every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)
- 21:3924 octobre 2008 à 21:39 diff hist 0 Lambda counting →every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)
- 21:3824 octobre 2008 à 21:38 diff hist +4 Lambda counting →every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)
- 21:3824 octobre 2008 à 21:38 diff hist +20 Lambda counting →every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)
- 21:3124 octobre 2008 à 21:31 diff hist +4 Lambda counting →every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)
- 21:2624 octobre 2008 à 21:26 diff hist −56 Lambda counting →every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)
- 21:2524 octobre 2008 à 21:25 diff hist −15 Lambda counting →every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)
- 21:2424 octobre 2008 à 21:24 diff hist +3 241 Lambda counting →every fixed closed term (including the identity !) does not appear in a random term (in fact we have much more than that)