Skip to main content
Mathematics
Mark Reitblatt's user avatar
Mark Reitblatt's user avatar
Mark Reitblatt's user avatar
Mark Reitblatt
  • Member for 13 years, 9 months
  • Last seen more than 10 years ago
Profile Activity
Stats
166
reputation
599
reached
1
answer
0
questions
Communities
View all
About

CS PhD Student at Cornell.

Badges
This user doesn’t have any gold badges yet.
2
silver badges
3
bronze badges
Top tags
5
Score
1
Posts
100
Posts %
5
Score
1
Posts
100
Posts %
5
Score
1
Posts
100
Posts %
5
Score
1
Posts
100
Posts %
Top posts
answer
5
formal rules for avoiding bound/unbound variable problems in lambda calculus
Dec 3, 2010
Top network posts
View all network posts
36
Applications of topology to computer science
32
Powerful Algorithms too complex to implement
24
Where is the proof that Coq + Excluded Middle is consistent
13
Are there any counterintuitive results in theoretical computer science?
12
What happens if we try to extract a witness but it actually does not exist from a term of existential type?