Function spaces for second-order polynomial time

Akitoshi Kawamura, Arno Pauly

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)


In the context of second-order polynomial-time computability, we prove that there is no general function space construction. We proceed to identify restrictions on the domain or the codomain that do provide a function space with polynomial-time function evaluation containing all polynomial-time computable functions of that type. As side results we show that a polynomial-time counterpart to admissibility of a representation is not a suitable criterion for natural representations, and that the Weihrauch degrees embed into the polynomial-time Weihrauch degrees.

Original languageEnglish
Title of host publicationLanguage, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Proceedings
PublisherSpringer Verlag
Number of pages10
ISBN (Print)9783319080185
Publication statusPublished - 2014
Externally publishedYes
Event10th Conference on Computability in Europe, CiE 2014 - Budapest, Hungary
Duration: Jun 23 2014Jun 27 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8493 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other10th Conference on Computability in Europe, CiE 2014

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Function spaces for second-order polynomial time'. Together they form a unique fingerprint.

Cite this