×
大卫·巴尔德

线性逻辑中的最小和最大不动点。 （英语） Zbl 1352.03072号

ACM事务处理。计算。日志。 13，第1号，第2条，44页（2012年）.

引用于21文件

MSC公司：

第03页 线性逻辑和其他子结构逻辑的理论证明
03B20型 经典逻辑子系统（包括直觉逻辑）
03B35型 证明和逻辑操作的机械化
05年3月 切割消除和正规形定理

关键词：

（co）诱导;固定点;切割消除;聚焦;线性逻辑;归一化;校对搜索;递归定义
PDF格式BibTeX公司 XML格式引用
\textit{D.Baelde}，ACM事务。计算。日志。13，第1号，第2条，44页（2012；Zbl 1352.03072）
全文： DOI程序 arXiv公司