作　　者：Daniel Hillerstr{\"o}m ;Sam Lindley ;Robert Atkey 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:18:1-18:19.doi:10.4230/LIPIcs.FSCD.2017.18

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

文 章 ID：200735127

作　　者：Robert Atkey ;Patricia Johann ;Neil Ghani

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692001

作　　者：Robert Atkey

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:46-61.doi:10.4230/LIPIcs.CSL.2012.46

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

文 章 ID：186846150

作　　者：Robert Atkey ;Neil Ghani ;Fredrik Nordvall Forsberg 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:45-59.doi:10.4230/LIPIcs.TLCA.2015.45

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

文 章 ID：186846855

作　　者：Robert Atkey ;Donald Sannella

出　　处：Electronic Communications of the EASST. 2015 ;72.doi:10.14279/tuj.eceasst.72.1025

出 版 社：European Association of Software Science and Technology (EASST)

文 章 ID：185430496