Theoretical Computer Science
Meta user
Network profile
29,402
reputation
82
155

Neel Krishnaswami

Apparently, this user prefers to keep an air of mystery about them.

208
answers
34
questions
~222k
people reached

Communities (4)

Top Meta Posts
0
3

Top network posts

Top tags (150)

Score 713
Posts 76
Posts % 31
Score 653
Posts 71
Score 521
Posts 51
Score 442
Posts 23
Score 344
Posts 29
Score 293
Posts 25
View all tags →

Top posts (242) All Questions Answers | Votes Newest

58 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
38 Programming languages with canonical functions Mar 9 '12
37 Explaining Applicative functor in categorical terms - monoidal functors Aug 27 '12
35 Solid applications of category theory in TCS? Sep 4 '10
34 Does there exist an extension of regular expressions that captures the context free languages? Mar 17 '13
30 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
28 How do you get the Calculus of Constructions from the other points in the Lambda Cube? Jun 29 '16
View all questions and answers →

Badges (237)

Gold

—

Silver

82

Rarest

Bronze

155

Rarest

View all badges →