Unifying Theories in Different Institutions.

M. Arrais, Jos Luiz Fiadeiro

Browse the full COMPASS paper archive.