作　　者：Daniel R. Licata ;Robert Harper

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;34:69-83.doi:10.4204/EPTCS.34.7

出 版 社：Open Publishing Association

文 章 ID：83120007

作　　者：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

作　　者：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

作　　者：Max S. New ;Daniel R. Licata

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

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

文 章 ID：220014782