Tag Info

lambda-calculus Questions

cody

8,11429 silver badges62 bronze badges

408	53	Gilles 'SO- stop being evil' 43.3k7 gold badges117 silver badges182 bronze badges
326	63	Andrej Bauer 30k1 gold badge70 silver badges115 bronze badges
190	45	chi 14.4k1 gold badge29 silver badges39 bronze badges
179	24	Derek Elkins left SE 12k1 gold badge28 silver badges43 bronze badges
129	13	Dave Clarke 20.2k4 gold badges67 silver badges113 bronze badges
126	13	Anton Trunov 3,4691 gold badge18 silver badges26 bronze badges
117	21	cody 8,11429 silver badges62 bronze badges
100	9	babou 19.4k40 silver badges76 bronze badges
95	10	Petr 2,1851 gold badge15 silver badges21 bronze badges
80	11	Martin Berger 8,30827 silver badges45 bronze badges
76	13	jmite 29.7k5 gold badges64 silver badges119 bronze badges
72	14	Yuval Filmus 275k27 gold badges304 silver badges499 bronze badges
57	5	jmad 9,4381 gold badge37 silver badges41 bronze badges
43	7	David Richerby 81.4k26 gold badges139 silver badges234 bronze badges
39	15	D.W.♦ 156k20 gold badges224 silver badges461 bronze badges
39	4	Hans Hüttel 2,4868 silver badges17 bronze badges
37	12	Natalie Clarius 7763 silver badges13 bronze badges
31	1	Jörg W Mittag 5,83022 silver badges24 bronze badges
29	11	Aristu 1,4834 gold badges13 silver badges23 bronze badges
27	3	daniel gratzer 1,4801 gold badge13 silver badges22 bronze badges

95	12	MaiaVictor 4,1171 gold badge17 silver badges33 bronze badges
79	1	Klangen 1,1008 silver badges15 bronze badges
76	20	alim 9847 silver badges23 bronze badges
63	4	BlueBomber 1,28712 silver badges15 bronze badges
60	8	Ben I. 1,68214 silver badges26 bronze badges
57	4	N. Virgo 9464 silver badges21 bronze badges
42	14	TomR 1,3817 silver badges16 bronze badges
38	2	Honinbo Shusaku 5317 silver badges17 bronze badges
37	6	Juan 7554 silver badges16 bronze badges
37	1	Artem Kaznatcheev 4,8122 gold badges26 silver badges57 bronze badges
34	2	magnattic 5373 silver badges11 bronze badges
33	6	jmite 29.7k5 gold badges64 silver badges119 bronze badges
32	1	Snowball 4234 silver badges7 bronze badges
32	2	Gilles 'SO- stop being evil' 43.3k7 gold badges117 silver badges182 bronze badges
31	9	user1868607 2,18413 silver badges23 bronze badges
30	1	Neil 4314 silver badges5 bronze badges
29	5	Jake 3,79019 silver badges35 bronze badges
28	14	Agnivesh Singh 3851 silver badge7 bronze badges
27	1	Hugo Sereno Ferreira 3932 silver badges9 bronze badges
25	1	Dave Clarke 20.2k4 gold badges67 silver badges113 bronze badges