@第{zbMATH06407636条，作者={Bezem，Marc and Coquand，Thierry}，Title={单形集的{Kripke}模型}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN＝{0304-3975}，体积={574}，Pages={86-91}，年份={2015年}，语言={英语}，DOI={10.1016/j.tcs.2015.01.035}，关键词={18G30,03F65,03B15,03B70,55U10}，zbMATH={6407636}，Zbl={1350.18020}}