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
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
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
INDEXADO EM: Scopus
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
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
INDEXADO EM: Scopus WOS CrossRef
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
INDEXADO EM: Scopus CrossRef: 1
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
INDEXADO EM: Scopus WOS CrossRef: 2
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
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
INDEXADO EM: WOS CrossRef
Página 1 de 2. Total de resultados: 11.