Browsing by Advisor Hofmann, Dirk
Showing results 1 to 8 of 8
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
25-Feb-2021 | Actions, injectives and injective hulls in quantale-enriched multicategories | Martinelli, Eros | doctoralThesis | |
2012 | Dualidades na lógica modal | Nora, Pedro Miguel Teixeira Olhero Pessoa | masterThesis | |
2006 | Dualidades naturais (teoria das categorias) | Oliveira, Sandra Margarida Barreto | masterThesis | |
2009 | Fundamentos matemáticos da programação funcional | Abreu, Alexandra Isabel Fernandes Espinha | masterThesis | |
Feb-2019 | Kleisli dualities and Vietoris coalgebras | Nora, Pedro Miguel Teixeira Olhero Pessoa | doctoralThesis | |
2010 | Lógica proposicional via Lindenbaum-Tarski e Curry-Howard | Albuquerque, Hugo Cardoso | masterThesis | |
22-Jul-2021 | Problema inverso de Galois: da irredutibilidade de Hilbert ao método de rigidez | Mendonça, João Ricardo Anjos de Sousa Galego | masterThesis | |
2014 | Topology via enriched categories | Reis, Carla David | doctoralThesis |