A semantic conjecture on second-order MLL and its complexity consequences (work in progress)
Authors: Lê Thành Dũng Nguyễn and Thomas Seiller
Paper Information
| Title: | A semantic conjecture on second-order MLL and its complexity consequences (work in progress) |
| Authors: | Lê Thành Dũng Nguyễn and Thomas Seiller |
| Proceedings: | Linearity/TLLA Pre-proceedings |
| Editors: | Maribel Fernandez, Valeria de Paiva, Thomas Ehrhard and Lorenzo Tortora De Falco |
| Keywords: | regular languages, implicit complexity, elementary linear logic, second-order quantification, denotational model |
| Abstract: | ABSTRACT. Semantic evaluation has proven to be a valuable tool to prove computational complexity results on monomorphic type systems. Can we apply it in presence of impredicative polymorphism? The linearity and stratification at work in light logics might make it possible. |
| Pages: | 2 |
| Talk: | Jul 08 17:00 (Session 42K) |
| Paper: |  |