Skip to main content
MathOverflow
Andrew Polonsky's user avatar
Andrew Polonsky's user avatar
Andrew Polonsky's user avatar
Andrew Polonsky
  • Member for 11 years, 3 months
  • Last seen more than 2 years ago
  • Amsterdam, Netherlands
Profile Activity
Stats
333
reputation
1k
reached
0
answers
2
questions
Communities
View all
About

I am a postdoc in computer science at VU Amsterdam. I work in lambda calculus and type theory.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
15
Are there any natural theories T for which P=NP implies T proves P=NP?
Dec 1, 2016
question
8
Is every total computable function definable by a normalizing lambda term?
Mar 14, 2018
Top network posts
View all network posts
11
What else (besides the usual) can be said about a Scott Information System if the constructed domain is required to be Hausdorff?
9
How can non-terminating $\lambda$-terms be turned into fixed-point combinators?
6
How to state the adequacy of an encoding of lambda calculus in itself?