HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Emmanuel Hainry

Publications
Higher order interpretation for higher order complexity
Emmanuel Hainry and Romain Péchoux
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

basic feasible functionals, Higher-order complexity, interpretations.

Copyright © 2012-2025 easychair.org. All rights reserved.