Frank Pfenning


AuthID: R-006-F75

Publicações Confirmadas: 23



21
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
22
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
23
TÍTULO: Session Types as Intuitionistic Linear Propositions
AUTORES: Luis Caires ; Frank Pfenning ;
PUBLICAÇÃO: 2010, FONTE: 21st Conference on Concurrency Theory in CONCUR 2010 - CONCURRENCY THEORY, VOLUME: 6269
INDEXADO EM: Scopus WOS DBLP CrossRef: 129
Página 3 de 3. Total de resultados: 23.

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

Links Úteis

Ajuda

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