MathOverflow
Network profile
381
reputation
2
5

kow

Apparently, this user prefers to keep an air of mystery about them.

6
answers
1
question
~8k
people reached
  • Member for 8 years, 11 months
  • 138 profile views
  • Last seen Mar 29 '13 at 16:39

Communities (1)

Top network posts

We respect a laser-like focus on one topic.

Top tags (10)

Score 26
Posts 5
Posts % 71
Score 17
Posts 3
Score 14
Posts 1
Score 9
Posts 2
Score 8
Posts 3
Score 7
Posts 1
View all tags →

Top posts (7) All Questions Answers | Votes Newest

14 Between mu- and primitive recursion Nov 23 '10
7 intensional equality in type theory Sep 2 '12
6 Are innermost reductions perpetual in untyped $\lambda$-calculus? Dec 4 '10
4 Categories presented with Arrows only, no objects: partial monoids Sep 22 '11
3 Are innermost reductions perpetual in untyped $\lambda$-calculus? Dec 15 '10
2 Categorical Brouwer-Heyting-Kolmogorov interpretation Dec 15 '11
2 Surreal Numbers as Inductive Type? Jan 31 '12

Badges (7)

Gold

—

Silver

2

Rarest

Bronze

5

Rarest