Theoretical Computer Science
Neel Krishnaswami
  • Member for 11 years, 5 months
  • Last seen this week
Profile Activity
Stats
31,300
reputation
265k
reached
222
answers
35
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
92
silver badges
161
bronze badges
Top tags
View all tags
763
Score
78
Posts
30
Posts %
687
Score
73
Posts
28
Posts %
593
Score
61
Posts
24
Posts %
462
Score
23
Posts
9
Posts %
394
Score
31
Posts
12
Posts %
313
Score
32
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.