People who code: we want your input. Take the Survey

Network profile

Noam Zeilberger

Reputation

4,171

4.2k
3.7k
3.2k

2018
2019
2020
2021

Top tag

lo.logic

Next privilege

5,000 Rep.

Approve tag wiki edits

Badges

20

31

Newest

Yearling

Next badge

0/1

Impact

0 posts edited

3 helpful flags

430 votes cast

Answers (26)

Votes Activity Newest

82	Solid applications of category theory in TCS?
27	What are the practical issues with intersection and union types?
21	Discharged hypotheses in ->Introduction
19	Implicit vs explicit subtyping
18	What do we know about provably correct programs?

View more →

Reputation (4,171)

+10	Complexity of type inference in the simply typed lambda calculus
+10	What are the practical issues with intersection and union types?
+10	What is the difference between unification and anti-unification?
+10	Density of semantics in syntax

View more →

Questions (7)

Votes Activity Newest

13	(N)DFA with same initial/accepting state(s)
13	historical question: earliest description of beta-normal terms together with “neutral” terms in lambda calculus?
11	generalizing Ben-Or et al's two-prover bit commitment scheme beyond bits
10	A bijection between ordered lambda terms and rooted planar maps?
9	reference request: deciding validity of higher-order quantified boolean formulas is not Kalmar-elementary

View more →

Tags (51)

178 lo.logic × 10	40 functional-programming × 3
157 pl.programming-languages × 9	35 type-inference × 2
101 ct.category-theory × 4	33 computability × 2
60 type-theory × 5	27 language-design
46 reference-request × 8	26 semantics × 3

View more →

Bookmarks (9)

Votes Activity Newest Views Added

29	Inductive types for large countable ordinal notations.
25	What is the folk model of linear logic?
20	What's the expressive power of Simply Typed Lambda calculus?
16	How can non-terminating $\lambda$-terms be turned into fixed-point combinators?
12	Are there knot theoretic formulations of NP complete problems?

View more →

Accounts (5)

	Theoretical Computer Science	4,171 rep	20 silver badges31 bronze badges
	MathOverflow	2,933 rep	18 silver badges19 bronze badges
	Mathematics	343 rep	1 silver badge11 bronze badges
	Computer Science	216 rep	1 silver badge3 bronze badges
	Stack Overflow	101 rep	1 bronze badge

Badges (24)

Recent Class Name

Yearling × 10	Nice Question × 4
Organizer	Citizen Patrol
Good Answer × 2	Promoter
Nice Answer × 10	Curious
Caucus × 4	Civic Duty

View more →

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast (430)

all time			by type
425	up		150	question
5	down		280	answer

Theoretical Computer Science Stack Exchange works best with JavaScript enabled