T. Uustalu
AuthID: R-006-DH9
1
TÃTULO: Plotkin's call-by-value λ-calculus as a modal calculus
AUTORES: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2022, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 127
AUTORES: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2022, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 127
INDEXADO EM: Scopus CrossRef
2
TÃTULO: <p>Plotkin?s call-by-value ?-calculus as a modal calculus</p>
AUTORES: Santo, Jose Espirito; Pinto, Luis; Uustalu, Tarmo;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 127
AUTORES: Santo, Jose Espirito; Pinto, Luis; Uustalu, Tarmo;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 127
INDEXADO EM: WOS
3
TÃTULO: Modal embeddings and calling paradigms
AUTORES: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2019, FONTE: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 131
AUTORES: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2019, FONTE: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 131
INDEXADO EM: Scopus
4
TÃTULO: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings
AUTORES: Bernd Fischer; Tarmo Uustalu;
PUBLICAÇÃO: 2018, FONTE: ICTAC, VOLUME: 11187
AUTORES: Bernd Fischer; Tarmo Uustalu;
PUBLICAÇÃO: 2018, FONTE: ICTAC, VOLUME: 11187
INDEXADO EM: DBLP
5
TÃTULO: Relating sequent calculi for Bi-intuitionistic propositional logic Full Text
AUTORES: Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2011, FONTE: 3rd International Workshop on Classical Logic and Computation, CLaC 2010 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 47
AUTORES: Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2011, FONTE: 3rd International Workshop on Classical Logic and Computation, CLaC 2010 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 47
INDEXADO EM: Scopus CrossRef
6
TÃTULO: Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
AUTORES: Luis Pinto ; Tarmo Uustalu;
PUBLICAÇÃO: 2009, FONTE: 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods in AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, VOLUME: 5607
AUTORES: Luis Pinto ; Tarmo Uustalu;
PUBLICAÇÃO: 2009, FONTE: 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods in AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, VOLUME: 5607
7
TÃTULO: Bidirectional data-flow analyses, type-systematically
AUTORES: Frade, MJ ; Saabas, A; Uustalu, T;
PUBLICAÇÃO: 2009, FONTE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
AUTORES: Frade, MJ ; Saabas, A; Uustalu, T;
PUBLICAÇÃO: 2009, FONTE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
8
TÃTULO: Foundational certification of data-flow analyses
AUTORES: Maria Joao Frade ; Ando Saabas; Tarmo Uustalu;
PUBLICAÇÃO: 2007, FONTE: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering in TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Proceedings
AUTORES: Maria Joao Frade ; Ando Saabas; Tarmo Uustalu;
PUBLICAÇÃO: 2007, FONTE: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering in TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Proceedings
9
TÃTULO: Generalizing substitution
AUTORES: Uustalu, T;
PUBLICAÇÃO: 2003, FONTE: 4th Satellite Workshop on Fixed Points in Computer Science (FICS 2002) in RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 37, NÚMERO: 4
AUTORES: Uustalu, T;
PUBLICAÇÃO: 2003, FONTE: 4th Satellite Workshop on Fixed Points in Computer Science (FICS 2002) in RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 37, NÚMERO: 4
INDEXADO EM: WOS CrossRef
10
TÃTULO: CPS translating inductive and coinductive types
AUTORES: Barthe, G; Uustalu, T;
PUBLICAÇÃO: 2002, FONTE: ACM/SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 02) in ACM SIGPLAN NOTICES, VOLUME: 37, NÚMERO: 3
AUTORES: Barthe, G; Uustalu, T;
PUBLICAÇÃO: 2002, FONTE: ACM/SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 02) in ACM SIGPLAN NOTICES, VOLUME: 37, NÚMERO: 3
INDEXADO EM: WOS CrossRef