@未收集{zbMATH05265220,作者{达斯,克里斯蒂安和霍夫曼,马丁和兰格,马丁},Title={线性时间的证明系统{\(\mu\)}-微积分},书名{FSTTCS 2006:软件技术和理论计算机科学基础。第26届国际会议,印度加尔各答,2006年12月13日至15日。会议记录},ISBN={978-3-540-49994-7},页数={273--284},年份:{2006},Publisher={Berlin:Springer},语言{英语},DOI={10.1007/11944836_26},关键词{03B44,03B25,03B70,03D05,03F20,68Q60},zbMATH={5265220},Zbl={1163.03308}}