Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Publicações Confirmadas: 43



31
TÍTULO: Linear logic propositions as session types
AUTORES: Caires, L; Pfenning, F; Toninho, B ;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science, VOLUME: 29, NÚMERO: 5
INDEXADO EM: Scopus
32
TÍTULO: Linear logical relations and observational equivalences for session-based concurrency
AUTORES: Pérez, JA ; Caires, L ; Pfenning, F ; Toninho, B ;
PUBLICAÇÃO: 2014, FONTE: 6th International Conference on Language and Automata Theory and Applications (LATA) in INFORMATION AND COMPUTATION, VOLUME: 239
INDEXADO EM: Scopus WOS DBLP CrossRef: 37
33
TÍTULO: Behavioral Polymorphism and Parametricity in Session-Based Communication
AUTORES: Caires, L ; Pérez, JA ; Pfenning, F ; Toninho, B ;
PUBLICAÇÃO: 2013, FONTE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXADO EM: Scopus WOS DBLP CrossRef: 39
34
TÍTULO: Higher-Order Processes, Functions, and Sessions: A Monadic Integration
AUTORES: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLICAÇÃO: 2013, FONTE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXADO EM: Scopus WOS DBLP CrossRef: 64
35
TÍTULO: Constructive Provability Logic
AUTORES: Robert J Simmons; Bernardo Toninho ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1205.6402
INDEXADO EM: DBLP
36
TÍTULO: Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication
AUTORES: Henry DeYoung; Luís Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2012, FONTE: CSL, VOLUME: 16
INDEXADO EM: Scopus DBLP
37
TÍTULO: Functions as Session-Typed Processes
AUTORES: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, VOLUME: 7213
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
38
TÍTULO: Linear Logical Relations for Session-Based Concurrency
AUTORES: Pérez, JA ; Caires, L ; Pfenning, F ; Toninho, B ;
PUBLICAÇÃO: 2012, FONTE: 21st European Symposium on Programming (ESOP) held as Part of the 15th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7211
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
39
TÍTULO: Towards concurrent type theory
AUTORES: Luís Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2012, FONTE: TLDI
INDEXADO EM: Scopus DBLP CrossRef: 17
40
TÍTULO: Dependent Session Types via Intuitionistic Linear Type Theory
AUTORES: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLICAÇÃO: 2011, FONTE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING
INDEXADO EM: Scopus WOS DBLP CrossRef: 45
Página 4 de 5. Total de resultados: 43.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service