"Propositions-as-Types and Shared State"
Prof. Pedro Barahona, DI-FCT NOVA.
Prof. Luís Caires, Professor Catedrático, FCT NOVA (Orientador);
Prof. Samuel Lindley, Reader na Edinburgh University;
Prof. Vasco Vasconcelos, Professor Catedrático da Faculdade de Ciências da Universidade de Lisboa;
Prof. Bernardo Toninho, Professor Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
Assista às provas aqui