The paper “Cost–Size Semantics for Call-by-Value Higher-Order Rewriting”, co-authored with Cynthia Kop, has been accepted for presentation at FSCD2023.