48 citations · 321 across the 68 of their papers we have counts for
1 paper · 2 filters
Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen
Quasi-interpretations are a technique to guarantee complexity bounds on first-order functional programs: with termination orderings they give in particular a sufficient condition f…