Supervised Theses (1)

  1. Estabilidad transversal de gérmenes representables infinitesimalmente 1996

    Universidade de Santiago de Compostela

    San Luis Fernández, Ana María

Theses Committees (4)

  1. Committee Member

    Bases de Göbner: desarrollo formal en coq 2005

    Universidade da Coruña

    Pérez, Gilberto

  2. Committee Member

    Funciones de orden superior en programación funcional: una perspectiva categórica 2003

    Universidade da Coruña

    FREIRE BRAÑAS JOSÉ ENRIQUE

  3. Committee Member

    Grupos categóricos simétricos: cohomología y extensiones 2001

    Universidad de Granada

    Martínez Moreno, Juan

  4. Committee Member

    Construcciones en topos que extienden relaciones entre categorías de espacios topológicos y bornológicos 1989

    Universidad de Zaragoza

    Lambán Pardo, Laureano