@第{zbMATH06052251条，作者={Urban，Christian and Kaliszyk，Cezary}，标题={通用绑定和{Nominal}{Isabelle}}中的字母等效性，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={8}，数字={2}，页码={35}，注={Id/No 14}，年份={2012}，语言={英语}，DOI={10.2168/LMCS-8（2:14）2012}，关键词={68T15}，zbMATH={6052251}，Zbl=｛1242.68283｝}