Tag Info

lambda-calculus Questions

488	45	Andrej Bauer 29.4k2 gold badges81 silver badges135 bronze badges
418	30	Neel Krishnaswami 32.8k1 gold badge103 silver badges165 bronze badges
325	41	cody 14k1 gold badge49 silver badges104 bronze badges
276	30	Damiano Mazza 5,5981 gold badge25 silver badges36 bronze badges
240	12	Martin Berger 11.5k3 gold badges40 silver badges71 bronze badges
115	8	Charles Stewart 4,29629 silver badges45 bronze badges
60	4	Gilles 'SO- stop being evil' 2,6871 gold badge28 silver badges35 bronze badges
42	2	Bruno 4,52333 silver badges45 bronze badges
39	2	Ulrik Buchholtz 7266 silver badges6 bronze badges
38	4	Rob Simmons 2,39614 silver badges24 bronze badges
30	6	Łukasz Lew 1,1875 silver badges13 bronze badges
28	6	Lê Thành Dũng 'Tito' Nguyễn 9704 silver badges19 bronze badges
28	2	David Richerby 2,8052 gold badges19 silver badges28 bronze badges
28	3	Noam Zeilberger 4,56124 silver badges36 bronze badges
26	5	gasche 2,0401 gold badge16 silver badges16 bronze badges
26	2	Marc 6864 silver badges12 bronze badges
25	2	Andreas Rossberg 1,32010 silver badges11 bronze badges
25	3	András Kovács 1,6399 silver badges9 bronze badges
25	2	Sam Tobin-Hochstadt 1,89711 silver badges21 bronze badges
22	4	Petr 2,61116 silver badges29 bronze badges

Command Master

5672 silver badges10 bronze badges

182	9	PhD 5,3455 gold badges25 silver badges40 bronze badges
178	33	MaiaVictor 3,17712 silver badges33 bronze badges
126	7	hawkeye 2,5811 gold badge18 silver badges34 bronze badges
80	3	Blaisorblade 2,06921 silver badges29 bronze badges
73	2	Shane 2,2333 gold badges26 silver badges25 bronze badges
61	6	day 2,8251 gold badge21 silver badges27 bronze badges
60	6	Jake 1,2137 silver badges21 bronze badges
46	4	StudentType 7753 silver badges9 bronze badges
44	3	Charles Stewart 4,29629 silver badges45 bronze badges
44	1	Simplex 5415 silver badges5 bronze badges
44	8	Joey Eremondi 2,95216 silver badges30 bronze badges
36	3	Petr 2,61116 silver badges29 bronze badges
33	3	Noam Zeilberger 4,56124 silver badges36 bronze badges
28	2	Mycol 4013 silver badges4 bronze badges
27	3	N. Virgo 7293 silver badges11 bronze badges
27	1	sleepytea 3733 silver badges6 bronze badges
26	1	didest 1,55116 silver badges26 bronze badges
26	2	user76284 6723 silver badges14 bronze badges
25	2	Pteromys 9054 silver badges13 bronze badges
23	1	jkff 8,9813 gold badges24 silver badges33 bronze badges