Defesa remota de Monografia discente Maycon José Jorge AmaroSegue o convite aos interessados em assistirem a defesa remota do trabalho monográfico desenvolvido pelo discente Maycon José Jorge Amaro em BCC393 (Monografia II). Aos que puderem participar, entrem na sala do Meet com o microfone mudo e a câmera desativada, no intuito de não comprometerem a qualidade da defesa. -------------------------------------------------------------------------------------- Sala do Meet: https://meet.google.com/ceo-coua-ioy Título: Semântica denotacional para o lambda-cálculo computacional em Agda Resumo: Banca: |
Departamento de Computação | ICEB | Universidade Federal de Ouro Preto
Campus Universitário Morro do Cruzeiro | CEP 35400-000 | Ouro Preto - MG, Brasil
Telefone: +55 31 3559-1692 | decom@ufop.edu.br