http://www.cmat.uminho.pt
Seminários 2006
12 de Outubro - Ralph Matthes (IRIT, Universidade Paul Sabatiér de Tolouse)
On the importance of normalization for typed rewrite systems
mais informações em
28 de Setembro - Jan von Plato (Departamento de Filosofia, Universidade de Helsínquia)
A sequent calculus with derivations isomorphic to those in Gentzen's natural deduction
mais informações em
18 de Setembro - Boris M. Schein (University of Arkansas)
Fundamental Order Relations on Semigroups
mais informações em
20 de Julho - Vitor Hugo Fernandes (Departamento de Matemática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa)
Monóides Solúveis
mais informações em
23 de Janeiro - Tarmo Uustalu (Institute of Cybernetics, Tallinn)
Recursive coalgebras from comonads
mais informações em
©
2024
,
Universidade do Minho