@会议记录{dudenhefner_et_al:LIPIcs.类型.2018.2,author={Dudenhefner,Andrej和Rehof,Jakob},title={{系统F居住的更简单不可判定性证明}},booktitle={第24届国际校样和程序类型会议(Types 2018)},pages={2:1-2:11},series={莱布尼茨国际信息学论文集(LIPIcs)},ISBN={978-3-95977-1061},ISSN={1868-8969},年份={2019},体积={130},editor={Dybjer、Peter和Esp{'i}rito Santo、Jos{e}和Pinto、Lu{'i{s},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.TYPES.2018.2},URN={URN:nbn:de:0030-drops-114061},doi={10.4230/LIPIcs.TYPES.2018.2},annote={关键词:系统F,Lambda演算,定居,命题逻辑,可证明性,不可判定性,Coq,形式化}}