Tag Info

typed-lambda-calculus Questions

108	12	cody 12.7k1 gold badge39 silver badges83 bronze badges
90	11	Neel Krishnaswami 31k89 silver badges160 bronze badges
44	5	Damiano Mazza 4,4881 gold badge18 silver badges33 bronze badges
30	5	Andrej Bauer 25.4k1 gold badge67 silver badges115 bronze badges
19	1	Sam Tobin-Hochstadt 1,88711 silver badges21 bronze badges
19	4	András Kovács 1,0095 silver badges6 bronze badges
11	1	Morgan Thomas 4612 silver badges8 bronze badges
6	1	Jonathan Sterling 3063 silver badges7 bronze badges
6	1	Martin Berger 10.1k3 gold badges33 silver badges62 bronze badges
6	1	gallais 6264 silver badges14 bronze badges
5	2	Max New 1,2056 silver badges19 bronze badges
5	1	Noam Zeilberger 4,17120 silver badges31 bronze badges
4	1	Dan Doel 5114 silver badges6 bronze badges
4	1	Radu GRIGore 4,62626 silver badges68 bronze badges
4	2	Jesper 3361 silver badge4 bronze badges
4	1	LP_ 1636 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 6913 silver badges9 bronze badges

29	4	jmite 2,41712 silver badges27 bronze badges
24	5	Andrew Bacon 3611 silver badge8 bronze badges
22	1	indil 3232 silver badges6 bronze badges
22	1	jkff 8,5193 gold badges20 silver badges33 bronze badges
20	1	Morgan Thomas 4612 silver badges8 bronze badges
18	2	lambda2 1854 bronze badges
18	1	hawkeye 2,4611 gold badge15 silver badges30 bronze badges
18	2	helmut 3551 silver badge6 bronze badges
18	4	Labbekak 6913 silver badges9 bronze badges
14	2	Martin Berger 10.1k3 gold badges33 silver badges62 bronze badges
12	1	Jonathan Gallagher 3751 silver badge9 bronze badges
11	2	StudentType 7773 silver badges9 bronze badges
11	1	user47376 2131 silver badge4 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
5	1	Evan Patterson 884 bronze badges
5	1	Qhead 532 bronze badges
5	1	ionathanch 1156 bronze badges