Editorial : Implicit Computational Complexity (ICC) - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Theoretical Computer Science Année : 2004

Editorial : Implicit Computational Complexity (ICC)

Jean-Yves Marion
Linear logic, proof networks and categorial grammars

Résumé

This special issue is devoted to Implicit Computational Complexity (ICC), following the successful ICC workshop that took place in 2000 at Santa Barbara, CA, in affiliation with the 15th IEEE Symposium on Logic in Computer Science.

Domaines

Autre [cs.OH]

Publications Loria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00100101

Soumis le : mardi 26 septembre 2006-10:14:09

Dernière modification le : mardi 3 septembre 2024-13:56:20

Fichier non déposé

Dates et versions

inria-00100101 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100101 , version 1

Citer

Jean-Yves Marion. Editorial : Implicit Computational Complexity (ICC). Theoretical Computer Science, 2004, 318 (1-2), pp.1. ⟨inria-00100101⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA
171 Consultations
0 Téléchargements

Partager

More