Neel Krishnaswami

Member for 11 years, 9 months
Last seen this week

GitHub
semantic-domain.blogspot.com
Cambridge, United Kingdom

Summary

Reputation

31,598

31.6k
29.3k
27k

2019
2020
2021
2022

Next tag badge

148/100 score

15/20 answers

Badges

93

162

Newest

Enlightened

Next badge

0/1

Excavator

Answers

View all 223 answers

Score Activity Newest

67

Realizability theory: difference in power between Lambda calculus and Turing Machines

Sep 9, 2010

43

Explaining Applicative functor in categorical terms - monoidal functors

Aug 27, 2012

42

Halting problem, uncomputable sets: common mathematical proof?

Mar 11, 2012

40

Programming languages with canonical functions

Mar 9, 2012

36

Does there exist an extension of regular expressions that captures the context free languages?

Mar 17, 2013

Questions

View all 35 questions

Score Activity Newest Views

30

Are there "small" machines which can efficiently match regular expressions?

Sep 10, 2010

28

How should I think about proof nets?

Jan 21, 2013

26

Interesting algorithms in the formalization of the Feit-Thompson theorem?

Sep 25, 2012

25

What is the folk model of linear logic?

Nov 8, 2010

24

Unification and Gaussian Elimination

Aug 16, 2012

Tags

View all 151 tags

pl.programming-languages

768

Score

78

posts

lo.logic

691

Score

73

posts

type-theory

601

Score

61

posts

computability

463

Score

23

posts

lambda-calculus

396

Score

31

posts

Reputation

+10

How should I think about proof nets?

+10

Explaining Applicative functor in categorical terms - monoidal functors

+10

Applications of algebraic geometry in type theory/programming language theory

+10

"Spurious" Type Equivalences in MLSub/Algebraic Subtyping

Badges

View all badges

This user doesn’t have any gold badges yet.

93

silver badges

Inquisitive

Feb 3, 2017
Lifejacket

× 2

Jun 18, 2019
Guru

× 4

Dec 17

162

bronze badges

functional-programming

Sep 15, 2017
ct.category-theory

Jan 26, 2021
type-theory

Aug 4, 2014

Bookmarks

Score Activity Newest Views Added

12

Modal logics axiomatised with nesting depth one which are unlikely to be in PSPACE?

Jun 2, 2011

Accounts

View all 7 accounts

Theoretical Computer Science

31.6k
93
162

8,663
1
26
53

Proof Assistants

1,512
3
14

Computer Science

411
2
7

201
1

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

1,169

upvotes

13

downvotes

599

question votes

583

answer votes

1

this month

1

this week