Theoretical Computer Science
Noam Zeilberger's user avatar
Noam Zeilberger's user avatar
Noam Zeilberger's user avatar
Noam Zeilberger
  • Member for 13 years, 3 months
  • Last seen this week
Profile Activity
Stats
4,431
reputation
40k
reached
26
answers
7
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
23
silver badges
35
bronze badges
Top tags
View all tags
192
Score
10
Posts
30
Posts %
164
Score
9
Posts
27
Posts %
108
Score
4
Posts
12
Posts %
61
Score
5
Posts
15
Posts %
46
Score
8
Posts
24
Posts %
41
Score
3
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
88
Solid applications of category theory in TCS?
Sep 4, 2010
answer
27
What are the practical issues with intersection and union types?
Jan 11, 2014
answer
21
Discharged hypotheses in ->Introduction
Feb 1, 2011
answer
19
Implicit vs explicit subtyping
Dec 28, 2010
answer
18
What do we know about provably correct programs?
Jan 2, 2011
answer
16
Why do we need formal semantics for predicate logic?
Sep 20, 2010
answer
15
How are real numbers specified in computation?
Oct 10, 2010
question
14
historical question: earliest description of beta-normal terms together with "neutral" terms in lambda calculus?
Nov 11, 2015
question
13
(N)DFA with same initial/accepting state(s)
Jul 5, 2013
answer
13
What is the difference between unification and anti-unification?
Mar 16, 2016
Top network posts
View all network posts
28
What is the manner of inconsistency of Girard's paradox in Martin Lof type theory
20
Has philosophy ever clarified mathematics?
13
[solved] sequent calculus as programming language
13
Choice vs. countable choice
12
Is there a category of non-well-founded sets?

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.