Computer Science
Noam Zeilberger's user avatar
Noam Zeilberger's user avatar
Noam Zeilberger's user avatar
Noam Zeilberger
  • Member for 8 years, 1 month
  • Last seen more than a week ago
Profile Activity
Stats
216
reputation
944
reached
2
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Top tags
10
Score
2
Posts
100
Posts %
6
Score
1
Posts
50
Posts %
6
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
6
Is there a relationship between "sound and complete" in logic and "type safety" in PLs?
Jun 2, 2016
answer
4
Number of possible programs in a language
May 30, 2016
Top network posts
View all network posts
88
Solid applications of category theory in TCS?
28
What is the manner of inconsistency of Girard's paradox in Martin Lof type theory
27
What are the practical issues with intersection and union types?
21
Discharged hypotheses in ->Introduction
20
Has philosophy ever clarified mathematics?

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.