explorations - nouveaux objets - croisements des sciences

L'auteur

Simona Ronchi Della Rocca

Dipartimento di Informatica
Universit di Torino

Page auteur

ronchi [chez] di.unito.it

Référence

Simona Ronchi Della Rocca, « Linear Logic and Theoretical Computer Science in Italy : results in Optimal Reduction and Implicit Computational Complexity », Influxus, [En ligne], mis en ligne le 21 novembre 2012. URL : http://www.influxus.eu/article464.html - Consulté le 15 novembre 2018.

Linear Logic and Theoretical Computer Science in Italy : results in Optimal Reduction and Implicit Computational Complexity

par Simona Ronchi Della Rocca

Dedicated to Vito Michele Abrusci in occasion of his 60th birthday


Résumé

Cet article est une courte revue des rsultats obtenus par les chercheurs italiens en informatique thorique dans deux domaines spcifiques, les rductions optimales et la complexit implicite, en utilisant des instruments scientifiques issus de la logique linaire et des logiques drives.

Abstract

The paper is a brief survey of the work done by the italian scientists in Theoretical Computer Science in two particular research topics, Optimal Reduction and Implicit Computational Complexity, using tools derived from Linear Logics and its variants.