@InCollection{zbMATH06083553，作者={L{\“o}sch，Steffen和Pitts，Andrew M.}，Title={关联本地作用域名称的两个语义}，BookTitle={计算机科学逻辑（CSL’11）。第25届国际研讨会，EACSL第20届年会，挪威卑尔根，2011年9月12-15日。}，国际标准图书编号={978-3-939897-32-3}，Pages＝{396-411}，年份={2011}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.CSL.2011.396}，关键词={68N18，68Q55}，URL={subs.emis.de/LIPIcs/frontdoor_48c6.html}，zbMATH={6083553}，Zbl={1247.68046}}