Frank Pfenning


AuthID: R-006-F75

Confirmed Publications: 22



21
TITLE: Proof-Carrying Code in a Session-Typed Process Calculus
AUTHORS: Frank Pfenning ; Luís Caires ; Bernardo Toninho ;
PUBLISHED: 2011, SOURCE: CPP, VOLUME: 7086 LNCS
INDEXED IN: Scopus DBLP CrossRef: 18
22
TITLE: Session Types as Intuitionistic Linear Propositions
AUTHORS: Caires, L ; Pfenning, F ;
PUBLISHED: 2010, SOURCE: 21st Conference on Concurrency Theory in CONCUR 2010 - CONCURRENCY THEORY, VOLUME: 6269
INDEXED IN: Scopus WOS DBLP CrossRef: 151
Page 3 of 3. Total results: 22.

footer slogan

Useful Links

Get Help

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