Badge
| Nice Question | Question score of 10 or more. This badge can be awarded multiple times. |
Neel Krishnaswami earned this badge 16 times |
jan 24 at 18:28
How should I think about proof nets?
jan 10 at 2:49
Is MALL + unrestricted recursive types Turing-complete?
nov 6 at 15:08
Generalizations of Brzozowski's method of derivatives of regular expressions to grammars?
aug 16 at 18:41
Unification and Gaussian Elimination
feb 24 '12 at 2:25
When do coherence spaces have pullbacks and pushouts?
sep 11 '11 at 6:02
Proof theory of biproducts?
may 9 '11 at 13:03
Is Escardó's metric semantic for PCF+timeouts fully abstract ?
may 6 '11 at 21:42
Has anyone used Pottier and Gauthier's polymorphic defunctionalization in a modular compiler?
apr 13 '11 at 11:44
References to programming languages based on conditional logics
apr 7 '11 at 22:12
Fixed point theorems for constructive metric spaces?
dec 24 '10 at 16:38
Cut-elimination for calculus with nats or other inductive datatype?
nov 9 '10 at 0:31
What is the folk model of linear logic?
