作　　者：Daniel R. Licata ;Michael Shulman ;Mitchell Riley

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:25:1-25:22.doi:10.4230/LIPIcs.FSCD.2017.25

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

文 章 ID：200735134

作　　者：Michael Shulman

出　　处：Logical Methods in Computer Science. 2016 ;12(3):1.doi:10.2168/LMCS-12(3:9)2016

出 版 社：Technical University of Braunschweig

文 章 ID：264692247

作　　者：Kuen-Bang {Hou ;Michael Shulman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:22:1-22:16.doi:10.4230/LIPIcs.CSL.2016.22

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

文 章 ID：186847939

作　　者：Auke B. Booij ;Mart{\'i}n H. Escard{\'o ;Peter LeFanu Lumsdaine 等

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

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

文 章 ID：230213691