MathOverflow
Profile Activity
Network profile
421
reputation
3
5

kow

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

6
answers
1
question
~9k
people reached
  • Member for 10 years, 2 months
  • 141 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 (0)

This user has not participated in any tags.

Top posts (7)

All Questions Answers
Votes Newest
15 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 (8)

Gold

—

Silver

3

Rarest

Bronze

5

Rarest

View all badges →