Top network posts

• 15 Categories of recursive functions
• 11 Au revoir, law of excluded middle?
• 11 A continuous notion of realizability
• 8 Is every context free language equivalent to one whose grammar has only one non-terminal symbol?
• 7 Small categories and completeness
• 7 On internal functions and arrows in a Topos
• 7 What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?
• View more network posts →