作　　者：Marc Bezem ;Assia Mahboubi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;175:1-10.doi:10.4230/LIPIcs.TYPES.2019.0

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

文 章 ID：256859669

作　　者：Marc Bezem ;Keiko Nakata ;Tarmo Uustalu

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

出 版 社：Technical University of Braunschweig

文 章 ID：264691882

作　　者：Marc Bezem

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:i-xix.doi:10.4230/LIPIcs.CSL.2011.i

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

文 章 ID：186845967

作　　者：Marc Bezem ;Thierry Coquand ;Simon Huber

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;26:107-128.doi:10.4230/LIPIcs.TYPES.2013.107

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

文 章 ID：186846500

作　　者：Marc Bezem ;Thierry Coquand ;Erik Parmann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:92-106.doi:10.4230/LIPIcs.TLCA.2015.92

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

文 章 ID：186846858

作　　者：Robin Adams ;Marc Bezem ;Thierry Coquand

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;97:1-20.doi:10.4230/LIPIcs.TYPES.2016.3

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

文 章 ID：230213687

作　　者：Marc Bezem ;Thierry Coquand ;Keiko Nakata 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;97:1-23.doi:10.4230/LIPIcs.TYPES.2016.6

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

文 章 ID：230213690