Author of the publication

On Basic Feasible Functionals and the Interpretation Method.

, , , and . FoSSaCS (2), volume 14575 of Lecture Notes in Computer Science, page 70-91. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Complexity Analysis for Call-by-Value Higher-Order Rewriting., and . CoRR, (2023)Tuple Interpretations for Higher-Order Rewriting., and . CoRR, (2021)Tuple Interpretations for Higher-Order Complexity., and . FSCD, volume 195 of LIPIcs, page 31:1-31:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Nominal Equational Problems., , , and . FoSSaCS, volume 12650 of Lecture Notes in Computer Science, page 22-41. Springer, (2021)An Investigation into General Nominal Equational Problems (Work in progress)., , , and . UNIF, page 3:1-3:8. (2020)On Solving Nominal Disunification Constraints., , , and . LSFA, volume 348 of Electronic Notes in Theoretical Computer Science, page 3-22. Elsevier, (2019)Cost-Size Semantics for Call-By-Value Higher-Order Rewriting., and . FSCD, volume 260 of LIPIcs, page 15:1-15:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)On Basic Feasible Functionals and the Interpretation Method., , , and . FoSSaCS (2), volume 14575 of Lecture Notes in Computer Science, page 70-91. Springer, (2024)Tuple Interpretations and Applications to Higher-Order Runtime Complexity., and . CoRR, (2022)Formalizing Higher-Order Termination in Coq., and . CoRR, (2021)