2024-3 | T-733-ICAP | Introduction to computer-assisted proof |
2024-1 | T-899-MSTH | MS Thesis |
2023-3 | T-899-MSTH | MS Thesis |
2023-1 | T-501-FMAL | Programming Languages |
2022-3 | T-999-PHDT | PhD Thesis in Computer Science |
2022-3 | T-743-PLSA | Semantics with Applications |
2022-1 | T-999-PHDT | PhD Thesis in Computer Science |
2022-1 | T-501-FMAL | Programming Languages |
2022-1 | T-911-PRDE | Proposal Defence |
2021-1 | T-501-FMAL | Programming Languages |
2021-1 | T-743-PLSA | Semantics with Applications |
2020-1 | T-501-FMAL | Programming Languages |
2020-1 | T-209-FUPR | Functional Programming |
2019-1 | T-501-FMAL | Programming Languages |
2018-1 | T-501-FMAL | Programming Languages |