作　　者：Jérôme Feret ;Vincent Danos ;Jean Krivine 等

出　　处：Proceedings of the National Academy of Sciences. 2009 ;106(16):6453-6458.doi:10.1073/pnas.0809908106

出 版 社：The National Academy of Sciences of the United States of America

文 章 ID：200591392

作　　者：Vincent Danos ;Jean Krivine ;Julien Prat

出　　处：OASIcs : OpenAccess Series in Informatics. 2021 ;82:10:1-10:5.doi:10.4230/OASIcs.Tokenomics.2020.10

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

文 章 ID：259385604

作　　者：Vincent Danos ;Jerome Feret ;Walter Fontana 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:276-288.doi:10.4230/LIPIcs.FSTTCS.2012.276

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

文 章 ID：186846209

作　　者：Ioana Cristescu ;Walter Fontana ;Jean Krivine

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;286:65-78.doi:10.4204/EPTCS.286.6

出 版 社：Open Publishing Association

文 章 ID：1034734576

作　　者：Adrien Husson ;Jean Krivine

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;306:101-113.doi:10.4204/EPTCS.306.17

出 版 社：Open Publishing Association

文 章 ID：1034258089