Amortized Analysis via Coinduction (Early Ideas).

Harrison Grodin, Robert Harper

Browse the full CALCO paper archive.