Frank Pfenning
AuthID: R-006-F75
1
TITLE: Linear logic propositions as session types
AUTHORS: Caires, L; Pfenning, F; Toninho, B ;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science, VOLUME: 29, ISSUE: 5
AUTHORS: Caires, L; Pfenning, F; Toninho, B ;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science, VOLUME: 29, ISSUE: 5
INDEXED IN: 
Scopus
Scopus2
TITLE: Distributed deductive databases, declaratively: The L10 logic programming language. the L10 logic programming language
AUTHORS: Robert J Simmons; Bernardo Toninho ; Frank Pfenning;
PUBLISHED: 2011, SOURCE: Proceedings of the 2011 ACM SIGPLAN X10 Workshop, X10 '11
AUTHORS: Robert J Simmons; Bernardo Toninho ; Frank Pfenning;
PUBLISHED: 2011, SOURCE: Proceedings of the 2011 ACM SIGPLAN X10 Workshop, X10 '11
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef