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 : jeudi 11 janvier 2018 - 06:21:25

Identifiants

  • HAL Id : hal-01207910, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

102