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