Top network posts
- 60 Realizability theory: difference in power between Lambda calculus and Turing Machines
- 57 Is there any formal foundation to ultrafinitism?
- 50 Is there an introduction to probability theory from a structuralist/categorical perspective?
- 42 Halting problem, uncomputable sets: common mathematical proof?
- 40 Explaining Applicative functor in categorical terms - monoidal functors
- 38 Programming languages with canonical functions
- 36 Solid applications of category theory in TCS?
- View more network posts →