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

Tiered complexity at higher order

Jean-Yves Marion

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.
Fichier principal
Vignette du fichier
paper 9.pdf (265.59 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

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⟩
102 Consultations
58 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More