Tag Info

lambda-calculus Questions

gadmm

1978 bronze badges

471	44	Andrej Bauer 28.3k1 gold badge80 silver badges130 bronze badges
414	30	Neel Krishnaswami 32.4k1 gold badge100 silver badges165 bronze badges
310	39	cody 13.7k1 gold badge47 silver badges99 bronze badges
262	28	Damiano Mazza 5,2731 gold badge24 silver badges36 bronze badges
236	12	Martin Berger 11.4k3 gold badges39 silver badges71 bronze badges
117	8	Charles Stewart 4,30628 silver badges45 bronze badges
60	4	Gilles 'SO- stop being evil' 2,6671 gold badge27 silver badges35 bronze badges
42	2	Bruno 4,43933 silver badges45 bronze badges
39	4	Rob Simmons 2,39613 silver badges24 bronze badges
39	2	Ulrik Buchholtz 7266 silver badges6 bronze badges
30	6	Łukasz Lew 1,1775 silver badges12 bronze badges
28	2	David Richerby 2,7452 gold badges18 silver badges28 bronze badges
28	3	Noam Zeilberger 4,43123 silver badges35 bronze badges
26	5	gasche 2,0401 gold badge16 silver badges16 bronze badges
26	2	Marc 6864 silver badges12 bronze badges
25	2	Sam Tobin-Hochstadt 1,89711 silver badges21 bronze badges
24	2	Andreas Rossberg 1,31010 silver badges11 bronze badges
23	1	Iddo Tzameret 1,8991 gold badge19 silver badges27 bronze badges
22	4	Petr 2,57115 silver badges28 bronze badges
21	4	Lê Thành Dũng Nguyễn 7204 silver badges17 bronze badges

3	1	Gro-Tsen 5992 silver badges15 bronze badges
2	1	phdstudent 1211 bronze badge

179	9	PhD 5,2555 gold badges25 silver badges40 bronze badges
176	33	MaiaVictor 3,11711 silver badges32 bronze badges
126	7	hawkeye 2,5811 gold badge18 silver badges33 bronze badges
78	3	Blaisorblade 2,04921 silver badges29 bronze badges
74	2	Shane 2,2333 gold badges26 silver badges25 bronze badges
59	6	day 2,7651 gold badge20 silver badges26 bronze badges
57	6	Jake 1,1416 silver badges20 bronze badges
47	4	StudentType 7773 silver badges9 bronze badges
45	3	Charles Stewart 4,30628 silver badges45 bronze badges
44	1	Simplex 5415 silver badges5 bronze badges
44	8	Joey Eremondi 2,83015 silver badges29 bronze badges
36	3	Petr 2,57115 silver badges28 bronze badges
33	3	Noam Zeilberger 4,43123 silver badges35 bronze badges
29	2	Mycol 4113 silver badges4 bronze badges
27	3	N. Virgo 6993 silver badges10 bronze badges
26	1	didest 1,55116 silver badges25 bronze badges
25	2	Pteromys 8954 silver badges13 bronze badges
25	1	sleepytea 3533 silver badges6 bronze badges
24	2	user76284 6523 silver badges14 bronze badges
23	1	jkff 8,9113 gold badges23 silver badges33 bronze badges