H. Deyoung
AuthID: R-006-NKV
1
TITLE: Polarized Subtyping
AUTHORS: Lakhani, Zeeshan; Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLISHED: 2022, SOURCE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240
AUTHORS: Lakhani, Zeeshan; Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLISHED: 2022, SOURCE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2
TITLE: Cut reduction in linear logic as asynchronous session-typed communication Full Text
AUTHORS: DeYoung, H; Caires, L ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2012, SOURCE: 26th International Workshop on Computer Science Logic, CSL 2012/21st Annual Conference of the European Association for Computer Science Logic, EACSL in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 16
AUTHORS: DeYoung, H; Caires, L ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2012, SOURCE: 26th International Workshop on Computer Science Logic, CSL 2012/21st Annual Conference of the European Association for Computer Science Logic, EACSL in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 16
INDEXED IN: Scopus DBLP
Scopus DBLP