No. Title Author Year
1 Certifying Higher-Order Polynomial Interpretations van der Weide, Niels et al. 2023
2 Cost-Size Semantics for Call-By-Value Higher-Order Rewriting Kop, Cynthia et al. 2023
3 Tuple Interpretations for Higher-Order Complexity Kop, Cynthia et al. 2021
Current Page :
Number of result pages: 1
Number of documents: 3

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI