Tag Info

typed-lambda-calculus Questions

107	12	cody 12.5k1 gold badge37 silver badges73 bronze badges
83	10	Neel Krishnaswami 30.1k87 silver badges157 bronze badges
37	4	Damiano Mazza 4,2981 gold badge17 silver badges31 bronze badges
29	4	Andrej Bauer 24.5k1 gold badge66 silver badges111 bronze badges
18	1	Sam Tobin-Hochstadt 1,84711 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	gallais 6264 silver badges14 bronze badges
6	1	Jonathan Sterling 1611 silver badge5 bronze badges
6	1	Martin Berger 9,9353 gold badges33 silver badges62 bronze badges
4	2	Max New 1,1756 silver badges18 bronze badges
4	1	Noam Zeilberger 4,07120 silver badges31 bronze badges
4	1	Radu GRIGore 4,60626 silver badges68 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 6393 silver badges9 bronze badges
1	1	Andrew Bacon 3511 silver badge8 bronze badges

28	4	jmite 2,35711 silver badges27 bronze badges
23	5	Andrew Bacon 3511 silver badge8 bronze badges
22	1	indil 3232 silver badges6 bronze badges
21	1	jkff 8,3793 gold badges19 silver badges33 bronze badges
20	1	Morgan Thomas 4612 silver badges8 bronze badges
18	2	lambda2 1854 bronze badges
17	1	hawkeye 2,4111 gold badge14 silver badges30 bronze badges
14	2	Martin Berger 9,9353 gold badges33 silver badges62 bronze badges
13	3	Labbekak 6393 silver badges9 bronze badges
12	1	Jonathan Gallagher 3751 silver badge9 bronze badges
11	1	user47376 2131 silver badge4 bronze badges
9	1	helmut 1555 bronze badges
9	2	StudentType 7473 silver badges9 bronze badges
8	1	Yufei Cai 1611 bronze badge
8	1	Potter 833 bronze badges
6	1	bitconfused 2191 silver badge5 bronze badges
6	1	Eric Bond 1533 bronze badges
6	1	user1636815 633 bronze badges
5	1	Evan Patterson 884 bronze badges
5	1	Qhead 532 bronze badges