Top network posts
- 26 What was the original intent for the creation of Lambda calculus?
- 15 H-space structures on non-sphere suspensions?
- 13 Can we prove weak normalization for System F by induction on a transfinite ordinal
- 10 How can I make a PDF of the source of pdftex?
- 10 Reference for the fact that (0=1) implies false requires a universe in MLTT
- 9 Intuitionistic fragments of classical logic
- 9 Reference request for type theory
- View more network posts →