Tag Info

typed-lambda-calculus Questions

Damiano Mazza

4,1931 gold badge17 silver badges31 bronze badges

106	12	cody 12.3k1 gold badge36 silver badges70 bronze badges
81	10	Neel Krishnaswami 29.9k85 silver badges156 bronze badges
37	4	Damiano Mazza 4,1931 gold badge17 silver badges31 bronze badges
29	4	Andrej Bauer 24k1 gold badge64 silver badges109 bronze badges
18	1	Sam Tobin-Hochstadt 1,83711 silver badges21 bronze badges
11	1	Morgan Thomas 4612 silver badges8 bronze badges
7	1	András Kovács 5012 silver badges5 bronze badges
6	1	Jonathan Sterling 1611 silver badge5 bronze badges
6	1	Martin Berger 9,8853 gold badges31 silver badges61 bronze badges
6	1	gallais 6264 silver badges14 bronze badges
4	1	Radu GRIGore 4,60625 silver badges68 bronze badges
4	2	Max New 1,1755 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
2	1	Labbekak 6392 silver badges9 bronze badges
1	1	Andrew Bacon 3511 silver badge8 bronze badges

Eric Bond

1333 bronze badges

27	4	jmite 2,27410 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,3593 gold badges18 silver badges33 bronze badges
20	1	Morgan Thomas 4612 silver badges8 bronze badges
18	2	lambda2 1854 bronze badges
17	1	hawkeye 2,3911 gold badge13 silver badges30 bronze badges
14	2	Martin Berger 9,8853 gold badges31 silver badges61 bronze badges
13	3	Labbekak 6392 silver badges9 bronze badges
12	1	Jonathan Gallagher 3751 silver badge9 bronze badges
11	1	user47376 2131 silver badge4 bronze badges
9	1	helmut 1554 bronze badges
9	2	StudentType 7473 silver badges9 bronze badges
8	1	Yufei Cai 1511 bronze badge
8	1	Potter 833 bronze badges
6	1	bitconfused 2191 silver badge5 bronze badges
6	1	user1636815 633 bronze badges
5	1	Evan Patterson 884 bronze badges
5	1	Qhead 532 bronze badges
5	1	ionathanch 533 bronze badges