Tag Info

typed-lambda-calculus Questions

98	11	cody 11.5k34 silver badges66 bronze badges
74	9	Neel Krishnaswami 27k80 silver badges153 bronze badges
29	3	Damiano Mazza 3,7731 gold badge16 silver badges31 bronze badges
25	3	Andrej Bauer 22.5k1 gold badge59 silver badges107 bronze badges
17	1	Sam Tobin-Hochstadt 1,80710 silver badges20 bronze badges
11	1	Morgan Thomas 3611 silver badge8 bronze badges
6	1	gallais 5563 silver badges14 bronze badges
6	1	Martin Berger 9,4502 gold badges30 silver badges61 bronze badges
5	1	Jonathan Sterling 1511 silver badge5 bronze badges
3	1	Rodolphe Lepigre 3113 silver badges8 bronze badges
2	1	ivcha 1889 bronze badges
2	1	Adribar 264 bronze badges
1	1	Max New 7564 silver badges16 bronze badges
1	1	Andrew Bacon 2311 silver badge8 bronze badges

23	5	Andrew Bacon 2311 silver badge8 bronze badges
21	1	jkff 4,4093 gold badges17 silver badges32 bronze badges
20	1	Morgan Thomas 3611 silver badge8 bronze badges
19	1	indil 981 silver badge6 bronze badges
16	2	lambda2 854 bronze badges
16	1	hawkeye 1,1501 gold badge8 silver badges25 bronze badges
15	2	jmite 1,0238 silver badges26 bronze badges
14	2	Martin Berger 9,4502 gold badges30 silver badges61 bronze badges
11	1	user47376 1584 bronze badges
11	1	Jonathan Gallagher 2401 silver badge9 bronze badges
9	1	helmut 804 bronze badges
8	1	Potter 433 bronze badges
8	1	Yufei Cai 711 bronze badge
8	2	StudentType 4222 silver badges9 bronze badges
6	1	Labbekak 1437 bronze badges
5	1	Evan Patterson 484 bronze badges
4	1	Mateusz Grotek 1234 bronze badges
3	1	user181407 1723 bronze badges
3	1	user76284 2481 silver badge6 bronze badges
3	1	Cian 1162 bronze badges