@文章{zbMATH06269678，作者={L{'o}pez-Fraguas，Francisco J.和Martin-Martin，Enrique和Rodr{'{i}}guez-Hortal，Juan}，Title={具有不透明模式和本地绑定的函数逻辑程序的安全类型}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积＝{235}，页码={36--69}，年份={2014}，语言={英语}，DOI={10.1016/j.ic.2014.01.004}，关键词={68N18,68N17}，zbMATH={6269678}，Zbl={1358.68058}}