Tiered complexity at higher order - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2019

Tiered complexity at higher order

Emmanuel Hainry
Designing the Future of Computational Models
CV
Bruce Kapron
  • Fonction : Auteur
University of Victoria [Canada]
Jean-Yves Marion
Carbone
Romain Péchoux
Designing the Future of Computational Models

Résumé

A characterization of the class of Basic Feasible Functionals (BFF) is provided in terms of typable and terminating imperative programs with oracles. The type system is a tier-based type system and type inference can be done in polynomial time.

Domaines

Complexité [cs.CC] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
paper 9.pdf (265.59 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Romain Péchoux  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 6 mars 2020-11:41:10

Dernière modification le : mercredi 20 novembre 2024-15:28:02

Archivage à long terme le : dimanche 7 juin 2020-13:42:30

Télécharger pour visualiser

Dates et versions

hal-02499318 , version 1 (06-03-2020)

Identifiants

  • HAL Id : hal-02499318 , version 1

Citer

Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion, Romain Péchoux. Tiered complexity at higher order. DICE-FOPARA 2019 - Joint international workshop on Developments in Implicit Computational complExity and Foundational and Practical Aspects of Resource Analysis, Apr 2019, Praha, Czech Republic. ⟨hal-02499318⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM ANR
111 Consultations
70 Téléchargements

Partager

More