Frank Pfenning
AuthID: R-006-F75
1
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
AUTORES: Caires, L; Pfenning, F; Toninho, B ;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science, VOLUME: 29, NÚMERO: 5
INDEXADO EM: 
Scopus
Scopus2
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
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
Scopus CrossRef