作 者:Bernardo Toninho ;Luís Caires
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;51:1-15.doi:10.4204/EPTCS.51.1
出 版 社:Open Publishing Association
文 章 ID:83120138
作 者:Lu{\'\i}s Caires ;Jorge A. Prez ;Frank Pfenning 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.39
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238891947
作 者:Henry DeYoung ;Lu{\'i}s Caires ;Frank Pfenning 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:228-242.doi:10.4230/LIPIcs.CSL.2012.228
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846162
作 者:Stephanie Balzer ;Frank Pfenning ;Bernardo Toninho
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-18.doi:10.4230/LIPIcs.CONCUR.2018.30
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213342