作 者:Olivier Savary Belanger ;Stefan Monnier ;Brigitte Pientka
出 处:Journal of Formalized Reasoning. 2015 ;8(1):49-91.doi:10.6092/issn.1972-5787/5122
出 版 社:Alma Mater Studiorum - University of Bologna
文 章 ID:184649916
作 者:Stefan Monnier ;Nathaniel Bos
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;175:1-19.doi:10.4230/LIPIcs.TYPES.2019.9
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:256859678