Data | Título | Autor(es) | Tipo | Acesso |
12-Jul-2016 | Continuity as a computational effect | Neves, Renato; Barbosa, L. S.; Hofmann, Dirk, et al. | Artigo | Acesso aberto |
1-Fev-2022 | A formal treatment of the role of verified compilers in secure computation | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo | Acesso aberto |
2023 | On difunctions | Backhouse, Roland; Oliveira, José Nuno Fonseca | Artigo | Acesso restrito UMinho |
Jan-2022 | Plotkin's call-by-value λ-calculus as a modal calculus | Espírito Santo, José; Pinto, Luís F.; Uustalu, Tarmo | Artigo | Acesso aberto |
12-Ago-2022 | A tribute to José Manuel Valença | Oliveira, José Nuno Fonseca; Pinto, Jorge Sousa; Barbosa, L. S., et al. | Editorial em revista | Acesso restrito UMinho |
2023 | Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications | Espírito Santo, José; Frade, M. J.; Pinto, Luís F. | Artigo | Acesso aberto |
3-Abr-2023 | A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3 | Frade, M. J.; Pinto, Jorge Sousa | Artigo | Acesso aberto |