# Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations

Férée, Hugo, Hym, Samuel, Mayero, Micaela, Moyen, Jean-Yves, Nowak, David (2018) Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations. In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs. . ACM ISBN 978-1-4503-5586-5. (doi:10.1145/3167097) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)