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 →