乔里斯·范德霍温 面向语义数学编辑。 （英语） Zbl 1329.68277号 J.塞姆。计算。 71, 1-46 (2015).MSC公司：68单位15 68纳米99 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{J.van der Hoeven}，J.Symb。计算。71、1--46（2015年；Zbl 1329.68277） 全文： 内政部
乔里斯·范德霍温 Mathemagix类型系统概述。 （英语） Zbl 1352.68306号 冯汝勇（编辑）等，《计算机数学》。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会，2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林：施普林格出版社（ISBN 978-3-662-43798-8/hbk；978-3-762-43799-5/电子书）。397-425（2014年）。MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.van der Hoeven}，摘自：计算机数学。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会，2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林：斯普林格。397-425（2014年；兹比尔1352.68306） 全文： 内政部 哈尔