Cultures of Formalization Towards an encounter between humanities and computing

Cultures of Formalization Towards an encounter between humanities and computing