Seminário de Lógica e Computação
Luís Pinto
(U. Minho)
Permutabilidade em cálculo de sequentes através de uma extensão do Cálculo-λ
Data:
29/4/05
Local:
Sala 5.5
Hora:
14:00
Resumo
Reinhard Kahle
, 3.03.05