Apparently, this user prefers to keep an air of mystery about them.
Top network posts
- 67 Realizability theory: difference in power between Lambda calculus and Turing Machines
- 61 Is there any formal foundation to ultrafinitism?
- 52 Is there an introduction to probability theory from a structuralist/categorical perspective?
- 42 Explaining Applicative functor in categorical terms - monoidal functors
- 42 Halting problem, uncomputable sets: common mathematical proof?
- 39 Programming languages with canonical functions
- 36 Solid applications of category theory in TCS?
- View more network posts →
This user doesn’t have any gold badges yet.