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