Cost-Size Semantics for Call-By-Value Higher-Order Rewriting.

Cynthia Kop, Deivid Vale

Browse the full FSCD paper archive.