Theoretical Computer Science
Profile Activity
Meta user
Network profile
30,510
reputation
89
159

Neel Krishnaswami

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

214
answers
35
questions
~248k
people reached

Communities (4)

Top Meta Posts
0
3

Top network posts

Top tags (150)

Score 744
Posts 77
Posts % 31
Score 676
Posts 73
Score 560
Posts 56
Score 455
Posts 23
Score 373
Posts 30
Score 309
Posts 31
View all tags →

Top posts (249)

All Questions Answers
Votes Newest
65 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
41 Explaining Applicative functor in categorical terms - monoidal functors Aug 27 '12
38 Programming languages with canonical functions Mar 9 '12
36 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
32 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
View all questions and answers →

Badges (248)

Gold

—

Silver

89

Rarest

Bronze

159

Rarest

View all badges →

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.