Stack Exchange

Neel Krishnaswami

http://www.cs.cmu.edu/~neelk

top accounts reputation activity bookmarks subscriptions
Top Questions
30 votes

Are there “small” machines which can efficiently match regular expressions?

fl.formal-languages automata-theory regular-expressions asked Sep 10 '10 at 8:23
cstheory.stackexchange.com

26 votes

Interesting algorithms in the formalization of the Feit-Thompson theorem?

lo.logic proof-assistants asked Sep 25 '12 at 6:25
cstheory.stackexchange.com

25 votes

What is the folk model of linear logic?

pl.programming-languages ct.category-theory imperative-programming denotational-semantics linear-logic asked Nov 8 '10 at 14:26
cstheory.stackexchange.com

25 votes

How should I think about proof nets?

lo.logic soft-question pl.programming-languages linear-logic asked Jan 21 '13 at 10:03
cstheory.stackexchange.com

23 votes

Unification and Gaussian Elimination

reference-request lo.logic asked Aug 16 '12 at 5:37
cstheory.stackexchange.com

18 votes

Generalizations of Brzozowski's method of derivatives of regular expressions to grammars?

reference-request fl.formal-languages parsing asked Nov 23 '10 at 11:01
cstheory.stackexchange.com

16 votes

Parametricity and projective eliminations for dependent records

reference-request pl.programming-languages dependent-type parametricity asked Jul 16 '12 at 7:17
cstheory.stackexchange.com

15 votes

Uses of quasi-PERs/difunctional relations/zig-zag relations?

reference-request pl.programming-languages denotational-semantics logical-relations asked Jul 3 '12 at 14:11
cstheory.stackexchange.com

15 votes

What do you use categorical glueing/sconing/Freyd covers for?

ct.category-theory computer-science lo.logic big-picture asked May 15 '10 at 9:43
mathoverflow.net

15 votes

Proof theory of biproducts?

reference-request lo.logic pl.programming-languages type-theory ct.category-theory asked Sep 9 '11 at 9:18
cstheory.stackexchange.com

1 2 3 4

Top Answers
86
Which mathematical ideas have done most to change history?
mathoverflow.net

65
Realizability theory: difference in power between Lambda calculus and Turing Machines
cstheory.stackexchange.com

59
Is there any formal foundation to ultrafinitism?
mathoverflow.net

50
Is there an introduction to probability theory from a structuralist/categorical perspective?
mathoverflow.net

42
Halting problem, uncomputable sets: common mathematical proof?
cstheory.stackexchange.com

40
Explaining Applicative functor in categorical terms - monoidal functors
cstheory.stackexchange.com

38
Programming languages with canonical functions
cstheory.stackexchange.com

36
Solid applications of category theory in TCS?
cstheory.stackexchange.com

34
Does there exist an extension of regular expressions that captures the context free languages?
cstheory.stackexchange.com

31
How do you get the Calculus of Constructions from the other points in the Lambda Cube?
cstheory.stackexchange.com

31
Is there a sensible notion of an approximation algorithm for an undecidable problem?
cstheory.stackexchange.com

30
How do they verify a verifier of formalized proofs?
mathoverflow.net

29
A programming language that can only create algorithms with polynomial runtime?
mathoverflow.net

29
Presburger Arithmetic
mathoverflow.net

28
What is Realistic Mathematics?
mathoverflow.net

28
What do we know about provably correct programs?
cstheory.stackexchange.com

27
Applicability of Church-Turing thesis to interactive models of computation
cstheory.stackexchange.com

27
Classification of Typed/Untyped Lambda Calculi
cstheory.stackexchange.com

26
Relationship between contracts and dependent typing
cstheory.stackexchange.com

26
How are Futures described in terms of category theory?
cstheory.stackexchange.com

25
If an abstract machine can simulate itself, does that make it Turing complete?
cstheory.stackexchange.com

25
Why naturals instead of integers?
cstheory.stackexchange.com

25
The unification of Mathematics via Topos Theory
mathoverflow.net

23
Can any program be implemented mechanically?
cstheory.stackexchange.com

23
Shallow versus Deep Embeddings
cstheory.stackexchange.com

22
Do dependent types give you everything subtyping does?
cstheory.stackexchange.com

22
Why is it so difficult for a computer to prove something?
cstheory.stackexchange.com

22
How do proof verifiers work?
mathoverflow.net

21
Is it possible to decide $\beta$-equivalence within System F (or another normalizing typed λ-calculus)?
cstheory.stackexchange.com

21
Is there such a thing as a state-based programming language?
cstheory.stackexchange.com

1 2 3 4 5 … 8