作 者:Truls Pedersen ;Sjur Dyrkolbotn ;Piotr Kaźmierczak 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2013 ;112:61-69.doi:10.4204/EPTCS.112.11
出 版 社:Open Publishing Association
文 章 ID:85356985
作 者:Erik Parmann
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;69:8:1-8:25.doi:10.4230/LIPIcs.TYPES.2015.8
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015483
作 者:Marc Bezem ;Thierry Coquand ;Erik Parmann
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:92-106.doi:10.4230/LIPIcs.TLCA.2015.92
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846858
作 者:Erik Parmann
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;39:187-201.doi:10.4230/LIPIcs.TYPES.2014.187
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847085
作 者:Marc Bezem ;Thierry Coquand ;Keiko Nakata 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;97:1-23.doi:10.4230/LIPIcs.TYPES.2016.6
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213690