41
TÍTULO: Towards concurrent type theory
AUTORES: Caires, L ; Pfenning, F ; Toninho, B ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 17
42
TÍTULO: Dependent Session Types via Intuitionistic Linear Type Theory
AUTORES: Bernardo Toninho ; Luis Caires ; Frank Pfenning ;
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: 39
43
TÍTULO: Distributed deductive databases, declaratively: The L10 logic programming language. the L10 logic programming language
AUTORES: Robert J Simmons; Bernardo Toninho ; Frank Pfenning;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the 2011 ACM SIGPLAN X10 Workshop, X10 '11
INDEXADO EM: Scopus CrossRef
44
TÍTULO: Proof-carrying code in a session-typed process calculus
AUTORES: Pfenning, F ; Caires, L ; Toninho, B ;
PUBLICAÇÃO: 2011, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 18
45
TÍTULO: A Spatial-Epistemic Logic for Reasoning about Security Protocols  Full Text
AUTORES: Bernardo Toninho ; Luís Caires ;
PUBLICAÇÃO: 2010, FONTE: Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, 30th August 2010., VOLUME: 51
INDEXADO EM: DBLP CrossRef: 3
NO MEU: DBLP
Página 5 de 5. Total de resultados: 45.