Type-Based Termination with Sized Products.

Gilles Barthe, Benjamin Grgoire, Colin Riba

Browse the full CSL paper archive.