Theoretical Computer Science
Neel Krishnaswami
  • Member for 11 years, 5 months
  • Last seen this week
Profile Activity
Stats
31,240
reputation
264k
reached
221
answers
35
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
91
silver badges
161
bronze badges
Top tags
View all tags
762
Score
78
Posts
30
Posts %
686
Score
73
Posts
29
Posts %
591
Score
60
Posts
23
Posts %
461
Score
23
Posts
9
Posts %
393
Score
31
Posts
12
Posts %
312
Score
31
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
67
Realizability theory: difference in power between Lambda calculus and Turing Machines
Sep 9 '10
42
Halting problem, uncomputable sets: common mathematical proof?
Mar 11 '12
42
Explaining Applicative functor in categorical terms - monoidal functors
Aug 27 '12
40
Programming languages with canonical functions
Mar 9 '12
36
Solid applications of category theory in TCS?
Sep 4 '10
35
Does there exist an extension of regular expressions that captures the context free languages?
Mar 17 '13
35
How do you get the Calculus of Constructions from the other points in the Lambda Cube?
Jun 29 '16
31
Is there a sensible notion of an approximation algorithm for an undecidable problem?
Dec 30 '10
30
Are there "small" machines which can efficiently match regular expressions?
Sep 10 '10
28
What do we know about provably correct programs?
Jan 1 '11
Top Meta posts
0
3
17
SIGACT and cstheory
5
Should we allow this type of question: "Evaluating a doctoral program/institute of CS"
5
CSTheory Blog Announcement and Signup Sheet
Top network posts
View all network posts
61
Is there any formal foundation to ultrafinitism?
52
Is there an introduction to probability theory from a structuralist/categorical perspective?
30
Presburger Arithmetic
30
How do they verify a verifier of formalized proofs?
30
The unification of Mathematics via Topos Theory

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.