作　　者：Andrea Asperti ;Enrico Tassi

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;53:1-15.doi:10.4204/EPTCS.53.1

出 版 社：Open Publishing Association

文 章 ID：83120147

作　　者：Claudio Sacerdoti Coen ;Enrico Tassi

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;53:16-29.doi:10.4204/EPTCS.53.2

出 版 社：Open Publishing Association

文 章 ID：83120148

作　　者：Claudio Sacerdoti Coen ;Enrico Tassi

出　　处：Journal of Formalized Reasoning. 2008 ;1(1):51-89.doi:10.6092/issn.1972-5787/1334

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：100489221

作　　者：Toby Murray ;steinberg_et_al:LIPIcs: : , author {Florian Steinberg ;Laurent Thry 等

出　　处：Proceedings of the National Academy of Sciences. 2019 ;116(42):20947-20952.doi:10.1073/pnas.1907915116

出 版 社：The National Academy of Sciences of the United States of America

文 章 ID：239774966

作　　者：Enrico Tassi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;141:1-18.doi:10.4230/LIPIcs.ITP.2019.29

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：240116686

作　　者：Cyril Cohen ;Kazuhiko Sakaguchi ;Enrico Tassi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:34:1-34:21.doi:10.4230/LIPIcs.FSCD.2020.34

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：255823211

作　　者：Andrea Asperti ;Wilmer Ricciotti ;Claudio Sacerdoti Coen 等

出　　处：Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:18)2012

出 版 社：Technical University of Braunschweig

文 章 ID：264691932