As of May 31, 2023, we have updated our Code of Conduct.
MathOverflow
Wouter Stekelenburg's user avatar
Wouter Stekelenburg's user avatar
Wouter Stekelenburg's user avatar
Wouter Stekelenburg
  • Member for 13 years, 4 months
  • Last seen more than 8 years ago
Profile Activity
Stats
1,219
reputation
0
reached
0
answers
0
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
This user doesn’t have any bronze badges yet.
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
20
Categories of recursive functions
12
A continuous notion of realizability
11
Au revoir, law of excluded middle?
9
Is every context free language equivalent to one whose grammar has only one non-terminal symbol?
8
What are the algebras of the double powerset monad?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.