Path:  Home   >  Historic (Seminars)   >  Intrinsic Schreier split extensions and intrinsic Schreier special objects   >  Inferência de Tipos Principais no Cálculo-BCK

 Search

  
    
  Advanced Search...

  Login

The Centre

Expand menu button

Research Groups

Expand menu button
Laboratory for Computational Mathematics
Thematic Line:
History of Mathematics
Thematic Line:
Outreach Activities

People

Expand menu button

Activities

Expand menu button

Publications

Expand menu button
 
 
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>  
 
     
© 2012 Centre for Mathematics, University of Coimbra, funded by

Science and Technology Foundation

Powered by: rdOnWeb v1.4 | technical support