Zhuo Zoey Chen, Johannes Åman Pohjola, Christine Rizkallah. A Verified Cost Model for Call-By-Push-Value. In Yannick Forster 0001, Chantal Keller, editors, 16th International Conference on Interactive Theorem Proving, ITP 2025, September 28 to October 1, 2025, Reykjavik, Iceland. Volume 352 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Abstract is missing.