"The importance of being Extrinsic: Coherence and adequacy for a ..."

Alejandro Gadea, Emmanuel Gunther, Miguel Pagano (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics