Apparently, this user prefers to keep an air of mystery about them.
Top network posts
- 83 Solid applications of category theory in TCS?
- 27 What are the practical issues with intersection and union types?
- 25 What is the manner of inconsistency of Girard's paradox in Martin Lof type theory
- 21 Discharged hypotheses in ->Introduction
- 19 Implicit vs explicit subtyping
- 18 Has philosophy ever clarified mathematics?
- 18 What do we know about provably correct programs?
- View more network posts →