Centre for Mathematics, University of Coimbra - Inferência de Tipos Principais no Cálculo-BCK

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

Science and Technology Foundation

Powered by: rdOnWeb v1.4 | technical support