@inproceedings{2996492264f44dbfa906e18574d5adaf,
title = "Polynomial Time over the Reals with Parsimony",
abstract = "We provide a characterization of Ko{\textquoteright}s class of polynomial time computable functions over real numbers. This characterization holds for a stream based language using a parsimonious type discipline, a variant of propositional linear logic. We obtain a first characterization of polynomial time computations over the reals on a higher-order functional language using a linear/affine type system.",
author = "Emmanuel Hainry and Damiano Mazza and Romain P{\'e}choux",
note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.; 15th International Symposium on Functional and Logic Programming, FLOPS 2020 ; Conference date: 14-09-2020 Through 16-09-2020",
year = "2020",
month = jan,
day = "1",
doi = "10.1007/978-3-030-59025-3\_4",
language = "English",
isbn = "9783030590246",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "50--65",
editor = "Keisuke Nakano and Konstantinos Sagonas",
booktitle = "Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Proceedings",
}