Epistemology, context, and formalism - Lihoreau, Franck; Rebuschi, Manuel (Synthese library, 2014)