Manuela Sobral (CMUC/Mat. FCTUC) |
Morfismos de codescida efectiva de reticulados distributivos
|
2008-03-11 |
Diana Rodelo (CMUC/U. Algarve) |
A universal construction in Goursat categories
|
2008-02-12 |
Jorge Picado (CMUC/Mat. FCTUC) |
How to deal with general real-valued functions in locales
|
2008-01-08 |
José Carlos Espírito Santo (Dep. Matemática, Univ. Minho) |
Unidade e diversidade na teoria estrutural da demonstração
|
2007-11-27 |