Talk:Light linear logics

Computational complexity

We might introduce general informations about computational complexity, such as the definitions of complexity classes in a specific computational complexity page. The paragraph on implicit computational complexity could also be moved there.

-- Olivier Laurent 20:28, 19 March 2009 (UTC)