Luís Manuel Marques da Costa Caires
AuthID: R-000-9MG
1
TITLE: Programming Languages and Systems. 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and ...
AUTHORS: Luís Caires;
PUBLISHED: 2019
AUTHORS: Luís Caires;
PUBLISHED: 2019
INDEXED IN: 
Openlibrary
Openlibrary2
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
Scopus