Theoretical Computer Science
Noam Zeilberger
  • noamz.org
  • Paris, France
  • Member for 11 years, 2 months
Profile Activity
Stats
4,211
reputation
34k
reached
26
answers
7
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
21
silver badges
32
bronze badges
Top tags
View all 51 tags
182
Score
10
Posts
30
Posts %
159
Score
9
Posts
27
Posts %
103
Score
4
Posts
12
Posts %
60
Score
5
Posts
15
Posts %
46
Score
8
Posts
24
Posts %
40
Score
3
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
84
Solid applications of category theory in TCS?
Sep 4 '10
27
What are the practical issues with intersection and union types?
Jan 11 '14
21
Discharged hypotheses in ->Introduction
Feb 1 '11
19
Implicit vs explicit subtyping
Dec 28 '10
18
What do we know about provably correct programs?
Jan 2 '11
15
Why do we need formal semantics for predicate logic?
Sep 20 '10
15
How are real numbers specified in computation?
Oct 10 '10
13
historical question: earliest description of beta-normal terms together with "neutral" terms in lambda calculus?
Nov 11 '15
13
(N)DFA with same initial/accepting state(s)
Jul 5 '13
12
What is the difference between unification and anti-unification?
Mar 16 '16
Top network posts
View all
25
What is the manner of inconsistency of Girard's paradox in Martin Lof type theory
18
Has philosophy ever clarified mathematics?
12
Is there a category of non-well-founded sets?
12
[solved] sequent calculus as programming language
10
equivalence classes of arch diagrams in bijection with permutations
10
Choice vs. countable choice
10
What is the effect of adding 1/2 to a continued fraction?

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.