Sumários

Aula #27

28 maio 2015, 09:30 Carlos Caleiro

Panorâmica do sistema Coq (apresentação da aluna Sílvia Reis).


Aula #26

27 maio 2015, 10:00 Carlos Caleiro

O lambda-cubo (apresentação da aluna Sílvia Reis).


Aula #25

21 maio 2015, 09:30 Carlos Caleiro

Tipos dependentes (apresentação do aluno Bernardo Lopo).


Aula #24

20 maio 2015, 10:00 Carlos Caleiro

Tipos dependentes (apresentação do aluno Daniel Oliveira).


Aula #23

14 maio 2015, 09:30 Carlos Caleiro

Sequentes e eliminação do corte (apresentação do aluno Pedro Filipe).