LCC10 Accepted Papers

Formal Theories for Linear Algebra
A Categorical Construction for Linear Logic by Levels
Towards a Light Logic for PSPACE
Recursion-Theoretic Complexity of \omega-Automatic Trees
Course of value in programming languages
Temporal logics over linear time domains are in PSPACE