Talk:Light linear logics
From LLWiki
Revision as of 22:28, 19 March 2009 by Olivier Laurent (Talk | contribs)
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)
