作　　者：Martin Berger ;Laurence Tratt ;Christian Urban

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;74:5:1-5:23.doi:10.4230/LIPIcs.ECOOP.2017.5

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

文 章 ID：197690093

作　　者：Lukas Diekmann ;Laurence Tratt

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;166:1-32.doi:10.4230/LIPIcs.ECOOP.2020.6

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

文 章 ID：256859625

作　　者：Martin Berger ;Laurence Tratt

出　　处：Logical Methods in Computer Science. 2015 ;11(1):1.doi:10.2168/LMCS-11(1:5)2015

出 版 社：Technical University of Braunschweig

文 章 ID：264692253

作　　者：Naveneetha Vasudevan ;Laurence Tratt

出　　处：OASIcs : OpenAccess Series in Informatics. 2012 ;28:142-148.doi:10.4230/OASIcs.ICCSW.2012.142

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

文 章 ID：186848580

作　　者：Edd Barrett ;Carl Friedrich Bolz ;Lukas Diekmann 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;56:3:1-3:27.doi:10.4230/LIPIcs.ECOOP.2016.3

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

文 章 ID：186847535

作　　者：Carl Friedrich Bolz ;Darya Kurilova ;Laurence Tratt

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;56:4:1-4:24.doi:10.4230/LIPIcs.ECOOP.2016.4

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

文 章 ID：186847536