| No. | Trabalho | Grupo |
|---|---|---|
| 1 | A correspondência de Curry-Howard | |
| 2 | Daikon Invariant Detector | |
| 3 | Avaliação parcial | |
| 4 | Semântica algébrica | |
| 5 | Semântica de ações | |
| 6 | Semântica de sistemas distribuidos: CCS | |
| 7 | Semântica axiomática de campos | |
| 8 | Semântica do cálculo $\pi$ | |
| 9 | Programação estruturada com Goto | |
| 10 | Semântica e sistema de tipos de uma linguagem orientada a objetos para em banco de dados | |
| 11 | Semântica denotational de XPath |
#Escolhas: 0/25