作 者:Andrés Ortiz-Muñoz ;Héctor F. Medina-Abarca ;Walter Fontana
出 处:Proceedings of the National Academy of Sciences. 2020 ;117(6):2930-2937.doi:10.1073/pnas.1912745117
出 版 社:The National Academy of Sciences of the United States of America
文 章 ID:243452157
作 者: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 ;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