Teaching (UFRGS)
(Portuguese only)2015-2
- INF05512 - Teoria dos Grafos e Análise Combinatória
- INF05006 - Categorias Computacionais N
- INF05516 - Semântica Formal N
2015-1
- INF05512 - Teoria dos Grafos e Análise Combinatória
- INF05008 - Fundamentos de Algoritmos
2014-2
- INF05512 - Teoria dos Grafos e Análise Combinatória
- INF05516 - Semântica Formal N
- INF05005 - Linguagens Formais e Autômatos N
2014-1
- INF05512 - Teoria dos Grafos e Análise Combinatória
- INF05504 - Tópicos especiais em computação V - Programação Funcional Avançada
2013-2
- INF05512 - Teoria dos Grafos e Análise Combinatória
- INF05516 - Semântica Formal
2013-1
- INF05512 - Teoria dos Grafos e Análise Combinatória
- INF05516 - Semântica Formal
2012-2
- INF05512 - Teoria dos Grafos e Análise Combinatória
Presentations
- Short course: Uma introdução ao cálculo lambda e a linguagens de programação funcionais (WEIT 2013) [SLIDES] (portuguese)