« Lambda counting » : historique des versions

3 décembre 2008

• actudiff 16:313 décembre 2008 à 16:31‎ Raffalli discussion contributions‎ 30 380 octets +28‎ →‎Lambert W function
• actudiff 16:293 décembre 2008 à 16:29‎ Raffalli discussion contributions‎ 30 352 octets +27‎ →‎Lambert W function
• actudiff 16:233 décembre 2008 à 16:23‎ Raffalli discussion contributions‎ 30 325 octets +4‎ →‎Upper and lower bounds for <math>L_n</math>
• actudiff 16:103 décembre 2008 à 16:10‎ Raffalli discussion contributions‎ 30 321 octets +1‎ →‎Upper and lower bounds for <math>L_n</math>
• actudiff 16:103 décembre 2008 à 16:10‎ Raffalli discussion contributions‎ 30 320 octets +14‎ →‎Upper and lower bounds for <math>L_n</math>
• actudiff 16:093 décembre 2008 à 16:09‎ Raffalli discussion contributions‎ 30 306 octets +2‎ →‎Catalan numbers
• actudiff 15:573 décembre 2008 à 15:57‎ Raffalli discussion contributions‎ 30 304 octets +78‎ →‎Catalan numbers
• actudiff 15:493 décembre 2008 à 15:49‎ Rdavi discussion contributions‎ 30 226 octets +138‎ →‎Introduction
• actudiff 15:383 décembre 2008 à 15:38‎ Raffalli discussion contributions‎ 30 088 octets −1‎ →‎Catalan numbers
• actudiff 15:363 décembre 2008 à 15:36‎ Raffalli discussion contributions‎ 30 089 octets +1‎ →‎Catalan numbers
• actudiff 15:353 décembre 2008 à 15:35‎ Raffalli discussion contributions‎ 30 088 octets +84‎ →‎Catalan numbers
• actudiff 15:323 décembre 2008 à 15:32‎ Raffalli discussion contributions‎ 30 004 octets 0‎ →‎Catalan numbers
• actudiff 15:293 décembre 2008 à 15:29‎ Raffalli discussion contributions‎ 30 004 octets +1‎ →‎Catalan numbers
• actudiff 15:293 décembre 2008 à 15:29‎ Raffalli discussion contributions‎ 30 003 octets −6‎ →‎Catalan numbers
• actudiff 15:293 décembre 2008 à 15:29‎ Raffalli discussion contributions‎ 30 009 octets −1‎ →‎Catalan numbers
• actudiff 15:283 décembre 2008 à 15:28‎ Raffalli discussion contributions‎ 30 010 octets +164‎ →‎Catalan numbers
• actudiff 15:163 décembre 2008 à 15:16‎ Raffalli discussion contributions‎ 29 846 octets +2‎ →‎Catalan numbers
• actudiff 15:163 décembre 2008 à 15:16‎ Raffalli discussion contributions‎ 29 844 octets 0‎ →‎Catalan numbers
• actudiff 15:153 décembre 2008 à 15:15‎ Raffalli discussion contributions‎ 29 844 octets −1‎ →‎Catalan numbers
• actudiff 15:153 décembre 2008 à 15:15‎ Raffalli discussion contributions‎ 29 845 octets +1‎ →‎Catalan numbers
• actudiff 15:153 décembre 2008 à 15:15‎ Raffalli discussion contributions‎ 29 844 octets +77‎ →‎Catalan numbers
• actudiff 15:143 décembre 2008 à 15:14‎ Raffalli discussion contributions‎ 29 767 octets +145‎ →‎Catalan numbers
• actudiff 15:043 décembre 2008 à 15:04‎ Raffalli discussion contributions‎ 29 622 octets +7‎ →‎Catalan numbers
• actudiff 15:043 décembre 2008 à 15:04‎ Raffalli discussion contributions‎ 29 615 octets −162‎ →‎Catalan numbers
• actudiff 14:393 décembre 2008 à 14:39‎ Kasia discussion contributions‎ 29 777 octets +159‎ →‎Head lambdas bind "many" occurrences of the corresponding variables
• actudiff 14:323 décembre 2008 à 14:32‎ Raffalli discussion contributions‎ 29 618 octets +9‎ →‎Upper and lower bounds for <math>L_n</math>

2 décembre 2008

• actudiff 21:032 décembre 2008 à 21:03‎ Gtheyssi discussion contributions‎ 29 609 octets +147‎ →‎Head lambdas bind "many" occurrences of the corresponding variables
• actudiff 20:442 décembre 2008 à 20:44‎ Gtheyssi discussion contributions‎ 29 462 octets +342‎ Aucun résumé des modifications
• actudiff 19:462 décembre 2008 à 19:46‎ Gtheyssi discussion contributions‎ 29 120 octets −4‎ →‎upper and lower bounds for number of lambdas in a term of size n
• actudiff 19:442 décembre 2008 à 19:44‎ Gtheyssi discussion contributions‎ 29 124 octets −34‎ →‎Lambdas in head position and number of lambdas in one path
• actudiff 19:432 décembre 2008 à 19:43‎ Gtheyssi discussion contributions‎ 29 158 octets −57‎ →‎Jakub's trik : at least 1 lambda in head position
• actudiff 09:492 décembre 2008 à 09:49‎ Gtheyssi discussion contributions‎ m 29 215 octets −9‎ →‎Lambdas in head position and number of lambdas in one path
• actudiff 09:372 décembre 2008 à 09:37‎ Gtheyssi discussion contributions‎ 29 224 octets +16‎ →‎Lambdas in head position and number of lambdas in one path

1 décembre 2008

• actudiff 16:371 décembre 2008 à 16:37‎ Gtheyssi discussion contributions‎ 29 208 octets +1 154‎ →‎Lambdas in head position and number of lambdas in one path
• actudiff 15:591 décembre 2008 à 15:59‎ Gtheyssi discussion contributions‎ m 28 054 octets +121‎ →‎at least <math>o(\sqrt{n/\ln(n)})</math> lambdas in head position and number of lambdas in one path
• actudiff 15:431 décembre 2008 à 15:43‎ Gtheyssi discussion contributions‎ m 27 933 octets +607‎ →‎at least <math>o(\sqrt{n/\ln(n)})</math> lambdas in head position and number of lambdas in one path
• actudiff 15:241 décembre 2008 à 15:24‎ Gtheyssi discussion contributions‎ m 27 326 octets +547‎ →‎at least <math>o(\sqrt{n/\ln(n)})</math> lambdas in head position and number of lambdas in one path
• actudiff 14:591 décembre 2008 à 14:59‎ Gtheyssi discussion contributions‎ m 26 779 octets +900‎ →‎at least <math>o(\sqrt{n/\ln(n)})</math> lambdas in head position and number of lambdas in one path
• actudiff 14:181 décembre 2008 à 14:18‎ Gtheyssi discussion contributions‎ m 25 879 octets +774‎ →‎at least <math>o(\sqrt{n/\ln(n)})</math> lambdas in head position and number of lambdas in one path
• actudiff 12:441 décembre 2008 à 12:44‎ Gtheyssi discussion contributions‎ 25 105 octets +27‎ →‎upper and lower bounds for number of lambdas in a term of size n
• actudiff 12:391 décembre 2008 à 12:39‎ Gtheyssi discussion contributions‎ 25 078 octets +217‎ →‎upper and lower bounds for number of lambdas in a term of size n
• actudiff 10:451 décembre 2008 à 10:45‎ Gtheyssi discussion contributions‎ 24 861 octets +1‎ Sections ordering

28 novembre 2008

• actudiff 12:4928 novembre 2008 à 12:49‎ Gtheyssi discussion contributions‎ 24 860 octets +277‎ →‎Random lambda terms are strongly normalizable
• actudiff 10:5928 novembre 2008 à 10:59‎ Gtheyssi discussion contributions‎ 24 583 octets +693‎ →‎Random lambda terms are strongly normalizable

18 novembre 2008

• actudiff 14:1418 novembre 2008 à 14:14‎ Jkozik discussion contributions‎ 23 890 octets +160‎ →‎Random lambda terms are strongly normalizable
• actudiff 12:4818 novembre 2008 à 12:48‎ Jkozik discussion contributions‎ 23 730 octets +124‎ →‎Random lambda terms are strongly normalizable
• actudiff 12:4218 novembre 2008 à 12:42‎ Jkozik discussion contributions‎ 23 606 octets +54‎ →‎Jakub's trik : at least 1 lambda in head position

12 novembre 2008

• actudiff 17:2712 novembre 2008 à 17:27‎ Gtheyssi discussion contributions‎ 23 552 octets +155‎ →‎Known results for Turing machines and cellular automata

30 octobre 2008

• actudiff 09:5530 octobre 2008 à 09:55‎ Zaionc discussion contributions‎ 23 397 octets −3‎ →‎combinatory logic
• actudiff 09:5230 octobre 2008 à 09:52‎ Zaionc discussion contributions‎ 23 400 octets 0‎ →‎combinatory logic