Trabalhos

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

Marcus Ritt