Noam Zeilberger

Paris

http://noamz.org/

top accounts reputation activity subscriptions

historical question: earliest description of beta-normal terms together with "neutral" terms in lambda calculus?

reference-request lambda-calculus ho.history-overview asked Nov 11, 2015 at 11:26

cstheory.stackexchange.com

13 votes

(N)DFA with same initial/accepting state(s)

fl.formal-languages automata-theory algebra regular-language asked Jul 5, 2013 at 7:47

cstheory.stackexchange.com

12 votes

Is there a category of non-well-founded sets?

ct.category-theory set-theory asked Feb 4, 2010 at 10:44

mathoverflow.net

11 votes

generalizing Ben-Or et al's two-prover bit commitment scheme beyond bits

cr.crypto-security nt.number-theory interactive-proofs zero-knowledge asked Aug 1, 2012 at 12:24

cstheory.stackexchange.com

11 votes

A bijection between ordered lambda terms and rooted planar maps?

graph-theory co.combinatorics pl.programming-languages lambda-calculus planar-graphs asked May 7, 2014 at 1:06

cstheory.stackexchange.com

11 votes

reference request: deciding validity of higher-order quantified boolean formulas is not Kalmar-elementary

cc.complexity-theory reference-request type-theory descriptive-complexity asked Jun 3, 2016 at 9:22

cstheory.stackexchange.com

10 votes

equivalence classes of arch diagrams in bijection with permutations

co.combinatorics permutations involutions asked Sep 8, 2016 at 1:55

mathoverflow.net

10 votes

Wiener's axiomatization of the group law based on division

reference-request gr.group-theory lo.logic ho.history-overview asked Aug 4, 2017 at 10:48

mathoverflow.net

8 votes

deciding $\beta$-equality of planar lambda terms

cc.complexity-theory lambda-calculus linear-logic asked Jun 28, 2017 at 8:02

cstheory.stackexchange.com

8 votes

Ends as a "cotrace" operation on profunctors

profunctors ct.category-theory traces monoidal-categories asked Aug 13, 2011 at 8:26

mathoverflow.net

Top Answers

Solid applications of category theory in TCS?

cstheory.stackexchange.com

What is the manner of inconsistency of Girard's paradox in Martin Lof type theory

mathoverflow.net

What are the practical issues with intersection and union types?

cstheory.stackexchange.com

Discharged hypotheses in ->Introduction

cstheory.stackexchange.com

Has philosophy ever clarified mathematics?

mathoverflow.net

Implicit vs explicit subtyping

cstheory.stackexchange.com

What do we know about provably correct programs?

cstheory.stackexchange.com

Why do we need formal semantics for predicate logic?

cstheory.stackexchange.com

How are real numbers specified in computation?

cstheory.stackexchange.com

What is the difference between unification and anti-unification?

cstheory.stackexchange.com

[solved] sequent calculus as programming language

mathoverflow.net

Choice vs. countable choice

mathoverflow.net

Incomplete basis of combinators

cstheory.stackexchange.com

Representing bound variables with a function from uses to binders

cstheory.stackexchange.com

What is the effect of adding 1/2 to a continued fraction?

mathoverflow.net

Cut-elimination for calculus with nats or other inductive datatype?

cstheory.stackexchange.com

Are there knot theoretic formulations of NP complete problems?

cstheory.stackexchange.com

Can all linear lambda calculi be linearity checked syntactically?

cstheory.stackexchange.com

Looking for papers and articles on modal substructural logics

cstheory.stackexchange.com

Is there a generalization of braided monoidal category without the isomorphism requirement?

mathoverflow.net

Exponential objects in the category of measurable spaces

mathoverflow.net

History of deletion-contraction formula

mathoverflow.net

Implementation of surreal numbers for games

cstheory.stackexchange.com

Relation between Metalanguage and Object Language

mathoverflow.net

An image of the hierarchy of algebraic structures

mathoverflow.net

Multiplication and division by a morphism under the “inner composition” in closed monoidal categories

mathoverflow.net

Detailed proof that $\circ_i$ operads are the same as operads

mathoverflow.net

The source-side-opposite of the arrow category

mathoverflow.net

Conservativity of multiplicative linear logic over intuitionistic multiplicative linear logic

mathoverflow.net

Complexity of type inference in the simply typed lambda calculus

cstheory.stackexchange.com