Tag Archives: Logic and Computer Science

Sheaves of Metric Structures / Generalized Amalgamation Classes… and Limit Models: Implicit Logics – Puebla, 8/16

In the context of WOLLIC 2016 (Workshop on Logic, Language, Information and Computation) at the Benemérita Universidad Autónoma de Puebla I spoke about part of our joint work with Maicol Ochoa, in two formats: