Top network posts

• 65 Realizability theory: difference in power between Lambda calculus and Turing Machines
• 59 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 →