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 |
Mário Florido (DCC, UP)
|
System L: a linear version of Godel System T
|
2007-11-19 |