Tag Info

typed-lambda-calculus Questions

7	1	András Kovács 3711 silver badge4 bronze badges
4	1	Neel Krishnaswami 27.2k81 silver badges154 bronze badges
4	1	Andrej Bauer 22.7k1 gold badge60 silver badges108 bronze badges
3	1	Max New 8265 silver badges17 bronze badges

99	11	cody 11.7k34 silver badges66 bronze badges
81	10	Neel Krishnaswami 27.2k81 silver badges154 bronze badges
29	3	Damiano Mazza 3,7931 gold badge16 silver badges31 bronze badges
29	4	Andrej Bauer 22.7k1 gold badge60 silver badges108 bronze badges
17	1	Sam Tobin-Hochstadt 1,81710 silver badges20 bronze badges
11	1	Morgan Thomas 3611 silver badge8 bronze badges
7	1	András Kovács 3711 silver badge4 bronze badges
6	1	Martin Berger 9,5002 gold badges31 silver badges61 bronze badges
6	1	gallais 5913 silver badges14 bronze badges
5	1	Jonathan Sterling 1511 silver badge5 bronze badges
4	2	Max New 8265 silver badges17 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	Andrew Bacon 2311 silver badge8 bronze badges

12	2	jmite 1,1308 silver badges27 bronze badges
5	1	Qhead 282 bronze badges
3	1	Labbekak 1957 bronze badges

27	4	jmite 1,1308 silver badges27 bronze badges
23	5	Andrew Bacon 2311 silver badge8 bronze badges
21	1	indil 1081 silver badge6 bronze badges
21	1	jkff 4,4493 gold badges18 silver badges32 bronze badges
20	1	Morgan Thomas 3611 silver badge8 bronze badges
16	2	lambda2 854 bronze badges
16	1	hawkeye 1,2311 gold badge10 silver badges28 bronze badges
14	2	Martin Berger 9,5002 gold badges31 silver badges61 bronze badges
12	1	Jonathan Gallagher 2451 silver badge9 bronze badges
11	1	user47376 1584 bronze badges
9	2	Labbekak 1957 bronze badges
9	1	helmut 804 bronze badges
8	2	StudentType 4222 silver badges9 bronze badges
8	1	Yufei Cai 711 bronze badge
8	1	Potter 433 bronze badges
5	1	Evan Patterson 634 bronze badges
5	1	Qhead 282 bronze badges
4	1	Mateusz Grotek 1234 bronze badges
3	1	Cian 1162 bronze badges
3	1	user76284 2481 silver badge6 bronze badges