Inferência de Tipos Principais no Cálculo-BCK
 
 
Description: 
Area(s):
Date:  2006-03-16
Start Time:   16:30
Speaker:  Sabine Broda (CIUP)
Place:  Sala 2.5
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support