Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Aktuelle Kontaktadresse
| Land | Brasilien |
|---|---|
| Ort | Joao Pessoa |
| Universität/Institution | Universidade Federal da Paraiba (UFPB) |
| Institut/Abteilung | Departamento de Informática Centro de Ciências Exatas e da Natureza |
Profil
| Fachgebiet | Theoretische Informatik,Grundlagen der Mathematik, Logik, Mengenlehre,Theoretische Philosophie |
|---|---|
| Keywords | programming languages, effect systems, theoretical computer science, denotational semantics, Concurrency |