Browsing by Advisor Hofmann, Dirk
Showing results 4 to 8 of 8
< previous
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
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 |