- Mathematics 1.3k 1.3k 66 silver badges1717 bronze badges
- Theoretical Computer Science 747 747 33 silver badges99 bronze badges
- MathOverflow 695 695 33 silver badges88 bronze badges
- Philosophy 233 233 11 silver badge33 bronze badges
- TeX - LaTeX 227 227 11 silver badge55 bronze badges
- View network profile
Top network posts
- 23 How do we construct the Gödel’s sentence in Martin-Löf type theory?
- 17 Why do we show that structures aren't isomorphic by exhibiting a property not shared by one of them?
- 14 Why the reflection rule trivializes higher paths in Martin-Löf Extensional Type theory?
- 13 Church-Rosser property for dependently typed lambda calculus?
- 13 What are the negative consequences of extending CIC with axioms?
- 13 Does the Law of Excluded Middle imply the Axiom K in Martin-Löf's Intensional Type Theory?
- 11 Categorical semantics explained – what is an interpretation?
- View more network posts →