Descrição:
Dominar a teoria matemática da lógica funcional, sua semântica operacional e sistemas de tipos, bem como a semântica e sistemas dedutivos das lógicas proposicionais clássica e intuicionista. Compreender a relação fundamental entre os sistemas de tipos para a lógica funcional e a teoria da demonstração clássica e intuicionista, e suas implicações.