作　　者：Bas Spitters

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;26:127-133.doi:10.4204/EPTCS.26.12

出 版 社：Open Publishing Association

文 章 ID：83119928

作　　者：Daniel R. Licata ;Ian Orton ;Andrew M. Pitts 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:22:1-22:17.doi:10.4230/LIPIcs.FSCD.2018.22

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

文 章 ID：220014780

作　　者：Robbert Krebbers ;Bas Spitters

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

出 版 社：Technical University of Braunschweig

文 章 ID：264691904

作　　者：Lars Birkedal ;Ale{\v{s}} Bizjak ;Ranald Clouston 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:23:1-23:17.doi:10.4230/LIPIcs.CSL.2016.23

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

文 章 ID：186847940

作　　者：Bas Spitters ;Russell O'Connor

出　　处：OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2255

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

文 章 ID：186848303

作　　者：Bas Spitters

出　　处：Journal of Universal Computer Science. 2005 ;11(12):2096-2113.

出 版 社：Graz University of Technology and Know-Center

文 章 ID：186875562

作　　者：Thierry Coquand ;Bas Spitters

出　　处：Journal of Universal Computer Science. 2005 ;11(12):1932-1944.

出 版 社：Graz University of Technology and Know-Center

文 章 ID：186875773