Skip to main content
MathOverflow
winitzki's user avatar
winitzki's user avatar
winitzki's user avatar
winitzki
  • Member for 11 years
  • Last seen more than a month ago
Profile Activity

Summary

Reputation

271

  • 271
  • 251
  • 231
  • 2021
  • 2022
  • 2023
  • 2024

Top tag

Next privilege

300 Rep.
Create new tags

Badges

2
7

Newest

Next badge

0/1
Critic

Impact

~3k
people reached
0
posts edited
0
helpful flags
1
votes cast

Questions

View 1 question
16
Why is there no product type in simply typed lambda-calculus?
Dec 9, 2013

Answers

View all 0 answers

This user has not answered any questions

Tags

View all 5 tags
0
Score
1
post
0
Score
1
post
0
Score
1
post
0
Score
1
post
0
Score
1
post

Reputation

This user has no recent positive reputation changes.

Badges

View all badges
This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges

Active bounties (0)

View all 0 bounties

This user has no active bounties

Votes cast

View 1 vote
1
upvotes
1
answer votes