Tag Info

typed-lambda-calculus Questions

Dan Doel

5664 silver badges6 bronze badges

109	12	cody 13.1k1 gold badge43 silver badges87 bronze badges
95	11	Neel Krishnaswami 31.6k93 silver badges162 bronze badges
49	5	Damiano Mazza 4,7831 gold badge20 silver badges35 bronze badges
30	5	Andrej Bauer 26.4k1 gold badge71 silver badges123 bronze badges
19	1	Sam Tobin-Hochstadt 1,88711 silver badges21 bronze badges
19	4	András Kovács 1,2647 silver badges7 bronze badges
11	1	Morgan Thomas 4612 silver badges8 bronze badges
7	1	gallais 6364 silver badges14 bronze badges
7	2	Dan Doel 5664 silver badges6 bronze badges
6	1	Jonathan Sterling 3043 silver badges7 bronze badges
6	1	Martin Berger 10.3k3 gold badges34 silver badges62 bronze badges
6	1	Noam Zeilberger 4,28921 silver badges33 bronze badges
6	1	Beniamino Accattoli 3212 silver badges3 bronze badges
5	2	Max New 1,3277 silver badges19 bronze badges
4	1	Radu GRIGore 4,71628 silver badges68 bronze badges
4	2	Jesper 3461 silver badge4 bronze badges
4	1	Lionel Parreaux 2131 silver badge6 bronze badges
3	1	Rodolphe Lepigre 3113 silver badges8 bronze badges
2	1	ivcha 1889 bronze badges
2	1	Adribar 314 bronze badges

31	6	Andrew Bacon 4332 silver badges8 bronze badges
30	4	Joey Eremondi 2,72413 silver badges29 bronze badges
24	1	indil 3432 silver badges6 bronze badges
23	1	jkff 8,6413 gold badges21 silver badges33 bronze badges
20	1	Morgan Thomas 4612 silver badges8 bronze badges
19	2	helmut 3651 silver badge6 bronze badges
18	2	lambda2 1854 bronze badges
18	1	hawkeye 2,5011 gold badge17 silver badges32 bronze badges
18	4	Labbekak 6913 silver badges9 bronze badges
14	2	Martin Berger 10.3k3 gold badges34 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
8	2	user1636815 913 bronze badges
7	1	Eric Bond 1633 bronze badges
6	1	bitconfused 2191 silver badge5 bronze badges
5	1	Haochen Xie 1535 bronze badges
5	1	Evan Patterson 984 bronze badges