Tuple Interpretations and Applications to Higher-Order Runtime Complexity
Authors: Cynthia Kop and Deivid Vale
Paper Information
| Title: | Tuple Interpretations and Applications to Higher-Order Runtime Complexity |
| Authors: | Cynthia Kop and Deivid Vale |
| Proceedings: | WST22 Program papers |
| Editor: | Cynthia Kop |
| Keywords: | complexity analysis, higher-order term rewriting, tuple interpretations |
| Pages: | 5 |
| Talk: | Aug 11 09:00 (Session 120L) |
| Paper: |  |