Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Confirmed Publications: 41



31
TITLE: Linear logical relations and observational equivalences for session-based concurrency  Full Text
AUTHORS: Jorge A Perez ; Luis Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2014, SOURCE: 6th International Conference on Language and Automata Theory and Applications (LATA) in INFORMATION AND COMPUTATION, VOLUME: 239
INDEXED IN: Scopus WOS DBLP CrossRef: 31
IN MY: ORCID | DBLP
32
TITLE: Behavioral Polymorphism and Parametricity in Session-Based Communication  Full Text
AUTHORS: Luis Caires ; Jorge A Perez ; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2013, SOURCE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXED IN: Scopus WOS DBLP CrossRef: 32
IN MY: ORCID | DBLP
33
TITLE: Higher-Order Processes, Functions, and Sessions: A Monadic Integration  Full Text
AUTHORS: Bernardo Toninho ; Luis Caires ; Frank Pfenning ;
PUBLISHED: 2013, SOURCE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXED IN: Scopus WOS DBLP CrossRef: 55
IN MY: ORCID | DBLP
34
TITLE: Constructive Provability Logic PDF
AUTHORS: Robert J Simmons; Bernardo Toninho ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1205.6402
INDEXED IN: DBLP arXiv
IN MY: DBLP
35
TITLE: Cut reduction in linear logic as asynchronous session-typed communication  Full Text
AUTHORS: DeYoung, H; Caires, L ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2012, SOURCE: 26th International Workshop on Computer Science Logic, CSL 2012/21st Annual Conference of the European Association for Computer Science Logic, EACSL in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 16
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
36
TITLE: Functions as Session-Typed Processes
AUTHORS: Bernardo Toninho ; Luis Caires ; Frank Pfenning ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, VOLUME: 7213
INDEXED IN: Scopus WOS DBLP CrossRef: 26
IN MY: ORCID | DBLP
37
TITLE: Linear Logical Relations for Session-Based Concurrency  Full Text
AUTHORS: Jorge A Perez ; Luis Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: ORCID | DBLP
38
TITLE: Towards concurrent type theory
AUTHORS: Caires, L ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2012, SOURCE: 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI'12, Co-located with POPL 2012 in Conference Record of the Annual ACM Symposium on Principles of Programming Languages
INDEXED IN: Scopus DBLP CrossRef: 16
IN MY: ORCID | DBLP
39
TITLE: Dependent Session Types via Intuitionistic Linear Type Theory
AUTHORS: Bernardo Toninho ; Luis Caires ; Frank Pfenning ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 35
IN MY: ORCID | DBLP
40
TITLE: Proof-carrying code in a session-typed process calculus
AUTHORS: Pfenning, F ; Caires, L ; Toninho, B ;
PUBLISHED: 2011, SOURCE: 1st International Conference on Certified Programs and Proofs, CPP 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7086 LNCS
INDEXED IN: Scopus DBLP CrossRef: 18
IN MY: ORCID | DBLP
Page 4 of 5. Total results: 41.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service