@文章{zbMATH1593899，作者={Penn，Gerald}，Title={传递闭包的代数结构及其在属性类型签名中的应用}，FJournal={语法}，日志={语法}，ISSN={1386-7393}，体积={3}，数字={2-3}，页码＝{295-312}，年份={2000}，语言={英语}，DOI={10.1023/A:1009969528224}，关键词={68N30}，zbMATH={1593899}，Zbl={0973.68044}}