Apparently, this user prefers to keep an air of mystery about them.
Member for 10 years, 9 months
2 profile views
Last seen Aug 20 '20 at 13:39
Top network posts
- 82 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 →