Leituras iniciais

Como início da investigação, uma lista de leituras e assuntos que pretendo pesquisar de início, por ordem de prioridade.

1. Fundamentos

• Concepts, Techniques and Models of Computer Programming
• Communicating Sequential Processes
• Communicating Mobile Systems: The pi-calculus
• Introduction to Process Algebra
• Theories of Programming Languages
• Types and Programming Languages

2. Bases matemáticas

• Lógica (lambda-calculus, etc)
  
• Álgebra
• Topologia (domínios, lattices)
• Teoria das categorias
• Teoria da computação
  

3. Acessórios

• Compiladores (dragão, Grune et al., Gough, etc)
• Fundamentos de Linguagem de Programação (Essentials of Programming Languages)
• Foundations for Programming Languages
• Programação funcional (Paulson, Reade, Okasaki, etc)
  

Eu sei que é muita coisa (principalmente na parte matemática), e que provavelmente não vai dar tempo de estudar tudo, quando começarem as obrigações formais do mestrado. Mas para isso servem as prioridades e leitura rápida.