Data | Título | Autor(es) | Tipo | Acesso |
2009 | Bidirectional data-flow analyses, type-systematically | Frade, M. J.; Saabas, Ando; Uustalu, Tarmo | Artigo em ata de conferência | Acesso restrito UMinho |
6-Ago-2007 | Foundational certification of data-flow analyses | Frade, M. J.; Saabas, Ando; Uustalu, Tarmo | Artigo em ata de conferência | Acesso aberto |
2019 | Modal embeddings and calling paradigms | Espírito Santo, José; Pinto, Luís F.; Uustalu, Tarmo | Artigo em ata de conferência | Acesso aberto |
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 |
2009 | Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents | Pinto, Luís F.; Uustalu, Tarmo | Artigo em ata de conferência | Acesso aberto |
2018 | A proof-theoretic study of bi-intuitionistic propositional sequent calculus | Pinto, Luís F.; Uustalu, Tarmo | Artigo | Acesso aberto |
2011 | Relating sequent calculi for bi-intuitionistic propositional logic | Pinto, Luís F.; Uustalu, Tarmo | Artigo em ata de conferência | Acesso aberto |
2004 | Type-based termination of recursive definitions | Barthe, Gilles Jacques Denis; Frade, M. J.; Giménez, E., et al. | Artigo | Acesso aberto |