Linear logic, type assignment systems and implicit computational complexity. (Logique linéaire, systèmes de types et complexité implicite)

Sorry, there's nothing here.

Topics

Cite this paper

@inproceedings{Benedetti2015LinearLT, title={Linear logic, type assignment systems and implicit computational complexity. (Logique lin{\'e}aire, syst{\`e}mes de types et complexit{\'e} implicite)}, author={Erika De Benedetti}, year={2015} }