Higher order interpretations for Basic Feasible Functions

Emmanuel Hainry 1 Romain Péchoux 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Communication dans un congrès
DICE 2015 - Developments in Implicit Computational Complexity, Apr 2015, London, United Kingdom. 〈http://dice15.computing.dundee.ac.uk〉
Liste complète des métadonnées
https://hal.inria.fr/hal-01207910
Contributeur : Emmanuel Hainry <>
Soumis le : jeudi 1 octobre 2015 - 15:14:30
Dernière modification le : vendredi 9 février 2018 - 10:48:02

Identifiants

  • HAL Id : hal-01207910, version 1

Collections

INRIA | UNIV-LORRAINE | LORIA-FM | LORIA

Citation

Emmanuel Hainry, Romain Péchoux. Higher order interpretations for Basic Feasible Functions. DICE 2015 - Developments in Implicit Computational Complexity, Apr 2015, London, United Kingdom. 〈http://dice15.computing.dundee.ac.uk〉. 〈hal-01207910〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

130

Contact


archive-ouverte@inria.fr