user avatar
user avatar
user avatar
Neel Krishnaswami
  • Member for 11 years, 9 months
  • Last seen this week
30 votes
4 answers
1k views

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

28 votes
6 answers
3k views

How should I think about proof nets?

26 votes
1 answer
562 views

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

25 votes
2 answers
1k views

What is the folk model of linear logic?

24 votes
1 answer
583 views

Unification and Gaussian Elimination

19 votes
3 answers
3k views

Generalizations of Brzozowski's method of derivatives of regular expressions to grammars?

16 votes
1 answer
423 views

Parametricity and projective eliminations for dependent records

15 votes
2 answers
442 views

Proof theory of biproducts?

15 votes
2 answers
449 views

Has anyone used Pottier and Gauthier's polymorphic defunctionalization in a modular compiler?

15 votes
1 answer
629 views

Fixed point theorems for constructive metric spaces?

15 votes
2 answers
414 views

Uses of quasi-PERs/difunctional relations/zig-zag relations?

15 votes
1 answer
485 views

Is MALL + unrestricted recursive types Turing-complete?

14 votes
2 answers
296 views

Cut-elimination for calculus with nats or other inductive datatype?

13 votes
0 answers
250 views

Generalizing limit-colimit coincidence to Scott-continuous adjunctions: any uses?

13 votes
1 answer
323 views

Relationship between shift-reduce parsing and delimited continuations?

12 votes
1 answer
376 views

When do coherence spaces have pullbacks and pushouts?

12 votes
1 answer
302 views

Reference for the fact that (0=1) implies false requires a universe in MLTT

12 votes
0 answers
231 views

Categorical semantics for S5 modal logic?

11 votes
1 answer
339 views

Is Escardó's metric semantic for PCF+timeouts fully abstract ?

11 votes
2 answers
345 views

References to programming languages based on conditional logics

10 votes
1 answer
308 views

Unification-based elimination rule for equality

10 votes
1 answer
190 views

Reference for the undefinability of modulus of continuity functional in PCF?

10 votes
0 answers
157 views

Do Banach spaces and linear contraction maps form a model of ILL with an exponential?

8 votes
1 answer
140 views

Hypersequents: proof term assigments or translations to hybrid logic

8 votes
2 answers
269 views

Resumption-based IO systems?

8 votes
1 answer
235 views

Circuit complexity and statistical tests

7 votes
0 answers
153 views

Does the cohomological approach to Boolean complexity nicely model any BDD heuristics?

6 votes
1 answer
213 views

Has anyone studied "polynomially compact" metric spaces?

6 votes
0 answers
182 views

Relationship between Pataraia's theorem and inductive-recursive definitions?

6 votes
1 answer
249 views

Algebraic account of Gaussian elimination?