Theoretical Computer Science
Noam Zeilberger
  • Member for 11 years, 5 months
  • Last seen this week
Profile Activity
Stats
4,249
reputation
35k
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 tags
184
Score
10
Posts
30
Posts %
160
Score
9
Posts
27
Posts %
104
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
85
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
16
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 network posts
26
What is the manner of inconsistency of Girard's paradox in Martin Lof type theory
19
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

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.