@文章{zbMATH07106519，作者={Lescanne，Pierre}，标题={广泛游戏的依赖类型}，FJournal={形式化推理杂志}，日志={J.Formaliz.Reason.}，ISSN={1972-5787}，体积={11}，页码={1--17}，年份={2018年}，语言={英语}，DOI={10.6092/issn.1972-5787/7517}，关键词={91A18,68V20}，zbMATH={7106519}，Zbl={1451.91017}}