Logics for Contravariant Simulations.

Ignacio Fbregas, David de Frutos-Escrig, Miguel Palomino

Browse the full FORTE paper archive.