@第{zbMATH07672672条,作者={Greco,Giuseppe and Palmigiano,Alessandra},标题={线性逻辑正确显示},FJournal={ACM计算逻辑事务},日志={ACM Trans.Comput.Log.},ISSN={1529-3785},体积={24},数字={2},页码={56},注意={Id/No 13},年份={2023},语言={英语},DOI={10.1145/3570919},关键词={03B70,68-XX},zbMATH={7672672}}