Paper_itp2023
The paper “Certifying Higher-Order Polynomial Interpretations”, co-authored with Niels van der Weide and Cynthia Kop, has been accepted for presentation at ITP2023.
Enjoy Reading This Article?
Here are some more articles you might like to read next: