Results from the 2022 Developer Survey are now available
Theoretical Computer Science
user avatar
user avatar
user avatar
Neel Krishnaswami
  • Member for 11 years, 10 months
  • Last seen this week
Profile Activity
Stats
31,626
reputation
272k
reached
223
answers
35
questions
Communities
View all
Badges
View all badges
1
gold badge
94
silver badges
163
bronze badges
Top tags
View all tags
767
Score
78
Posts
30
Posts %
690
Score
73
Posts
28
Posts %
600
Score
61
Posts
24
Posts %
463
Score
23
Posts
9
Posts %
399
Score
31
Posts
12
Posts %
316
Score
32
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
67
Realizability theory: difference in power between Lambda calculus and Turing Machines
Sep 9, 2010
answer
43
Explaining Applicative functor in categorical terms - monoidal functors
Aug 27, 2012
answer
42
Halting problem, uncomputable sets: common mathematical proof?
Mar 11, 2012
answer
40
Programming languages with canonical functions
Mar 9, 2012
answer
36
Solid applications of category theory in TCS?
Sep 4, 2010
answer
36
Does there exist an extension of regular expressions that captures the context free languages?
Mar 17, 2013
answer
35
How do you get the Calculus of Constructions from the other points in the Lambda Cube?
Jun 29, 2016
answer
31
Is there a sensible notion of an approximation algorithm for an undecidable problem?
Dec 30, 2010
question
30
Are there "small" machines which can efficiently match regular expressions?
Sep 10, 2010
question
28
How should I think about proof nets?
Jan 21, 2013
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
64
Is there any formal foundation to ultrafinitism?
51
Is there an introduction to probability theory from a structuralist/categorical perspective?
36
Presburger Arithmetic
31
The unification of Mathematics via Topos Theory
30
A programming language that can only create algorithms with polynomial runtime?

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.