Research
Member of GLyC - Logic, Language and Computability Research Group
Research interests:
- Category Theory. In particular 2-categories
- Mathematical logic. In particular data aware logics
Publications
-
María Emilia Descotte, Eduardo Dubuc and Martín Szyld.
On the notion of flat 2-functors.
Submitted
-
María Emilia Descotte, Eduardo Dubuc and Martín Szyld.
A construction of certain weak colimits and an exactness property of the 2-category of categories.
Submitted
-
Sergio Abriola, María Emilia Descotte, Raúl Fervari and Santiago Figueira.
Axiomatizations for downward XPath on Data Trees.
Submitted
-
Sergio Abriola, María Emilia Descotte and Santiago Figueira.
Model Theory of XPath on Data Trees. Part II: Binary Bisimulation and Definability.
Information and Computation. To appear
-
Sergio Abriola, María Emilia Descotte and Santiago Figueira.
Definability for Downward and Vertical XPath on Data Trees.
In WoLLIC 2014 (Workshop of Logic, Languages, Information and Computation,
volume 8652 of Lecture Notes in Computer Science, pages 20-35, 2014
-
María Emilia Descotte and Eduardo Dubuc.
A theory of 2-pro-objects.
In Cahiers de Topologie et Géométrie Différentielle Catégoriques ,
volume LV, pages 2-36, 2014
PhD thesis
Teaching
Links
|