Neel Krishnaswami

less info

network profile

13,994 reputation

3189

bio	website	semantic-domain.blogspot.com
	location
	age
visits	member for	2 years, 9 months
	seen	3 hours ago
stats	profile views	1,537

summary answers questions tags badges favorites bounties reputation activity

110 Answers

votes activity newest

26	Halting problem, uncomputable sets: common mathematical proof?
24	Programming languages with canonical functions
24	Solid applications of category theory in TCS?
23	If an abstract machine can simulate itself, does that make it Turing complete?
22	Why naturals instead of integers?

view more

13,994 Reputation

+10	Classification of Typed/Untyped Lambda Calculi
+68	Resources for mathematicians hoping to learn more computer science
+10	How are side effects handled in semantics?
+10	What is the categorical semantics of subtyping?

view more

25 Questions

votes activity newest

26	Are there “small” machines which can efficiently match regular expressions?
21	Interesting algorithms in the formalization of the Feit-Thompson theorem?
21	Unification and Gaussian Elimination
20	What is the folk model of linear logic?
15	How should I think about proof nets?

view more

104 Tags

461 pl.programming-languages × 58	130 lambda-calculus × 14
381 lo.logic × 46	125 reference-request × 23
258 computability × 17	125 ct.category-theory × 14
198 type-theory × 19	103 semantics × 10
144 functional-programming × 14	89 turing-machines × 5

view more

2 Accounts

	Theoretical Computer Science	13,994 rep	3189
	Computer Science	221 rep	13

29 Badges

recent class name

Enlightened × 22	Popular Question
Nice Answer × 55	Custodian
Nice Question × 16	Yearling × 2
Pundit	Good Answer
Good Question	Constituent

view more

0 Active bounties

active offered earned

This user has no active bounties

610 Votes Cast

all time			by type			month		week
602	up		248	question		5		1
8	down		362	answer		5		1

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.22.697

Theoretical Computer Science Stack Exchange works best with JavaScript enabled