Tag Info

typed-lambda-calculus Questions

100	11	cody 12k35 silver badges68 bronze badges
81	10	Neel Krishnaswami 29.4k82 silver badges155 bronze badges
29	3	Damiano Mazza 4,0181 gold badge17 silver badges31 bronze badges
29	4	Andrej Bauer 23.2k1 gold badge62 silver badges108 bronze badges
17	1	Sam Tobin-Hochstadt 1,82711 silver badges21 bronze badges
11	1	Morgan Thomas 4612 silver badges8 bronze badges
7	1	András Kovács 4212 silver badges5 bronze badges
6	1	gallais 5913 silver badges14 bronze badges
6	1	Jonathan Sterling 1611 silver badge5 bronze badges
6	1	Martin Berger 9,7552 gold badges31 silver badges61 bronze badges
4	2	Max New 1,1665 silver badges18 bronze badges
3	1	Rodolphe Lepigre 3113 silver badges8 bronze badges
2	1	ivcha 1889 bronze badges
2	1	Adribar 314 bronze badges
1	1	Andrew Bacon 3511 silver badge8 bronze badges

27	4	jmite 2,2329 silver badges27 bronze badges
23	5	Andrew Bacon 3511 silver badge8 bronze badges
21	1	indil 3132 silver badges6 bronze badges
21	1	jkff 8,1893 gold badges18 silver badges33 bronze badges
20	1	Morgan Thomas 4612 silver badges8 bronze badges
16	2	lambda2 1654 bronze badges
16	1	hawkeye 2,3311 gold badge13 silver badges28 bronze badges
14	2	Martin Berger 9,7552 gold badges31 silver badges61 bronze badges
12	1	Jonathan Gallagher 3651 silver badge9 bronze badges
11	1	user47376 2131 silver badge4 bronze badges
10	2	Labbekak 5052 silver badges7 bronze badges
9	1	helmut 1554 bronze badges
9	2	StudentType 7473 silver badges9 bronze badges
8	1	Yufei Cai 1411 bronze badge
8	1	Potter 833 bronze badges
5	1	Evan Patterson 884 bronze badges
5	1	Qhead 532 bronze badges
4	1	Mateusz Grotek 1434 bronze badges
3	1	Cian 1312 bronze badges
3	1	user76284 3781 silver badge7 bronze badges