On the Subject Reduction Property for Algebraic Type Systems.

Gilles Barthe, Paul-Andr Mellis

Browse the full CSL paper archive.