作 者:Tommaso Petrucciani ;Giuseppe Castagna ;Davide Ancona 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;130:1-24.doi:10.4230/LIPIcs.TYPES.2018.4
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:241520022
作 者:Giuseppe Castagna ;Mariangiola Dezani-Ciancaglini ;Luca Padovani
出 处:Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:24)2012
出 版 社:Technical University of Braunschweig
文 章 ID:264691938