第二线性& IJCAR-FSCD的TLLA 2020年[虚拟]
乌戈·达尔·拉戈 , 瓦莱丽亚·德佩瓦 :
第二届线性与线性逻辑应用趋势联合国际研讨会论文集,线性& IJCAR-FSCD的TLLA 2020,在线,2020年6月29日至30日。 EPTCS系统 353, 2021 马泰奥·阿克拉维奥 :
指数漂亮证明网及其规范化。 1-25 马泰奥·阿克拉维奥 , 朱利奥·格雷里 :
微分线性逻辑的深度推理系统。 26-49 埃萨伊·鲍尔 , 奥利维耶·劳亨 :
线性逻辑中的超指数。 50-73 吉安卢卡·科尔齐 :
线性添加剂。 74-93 长谷正彦 :
编织兰姆达微积分。 94-108 杰克·休斯 , 迈克尔·沃尔默 , 多米尼克果园 :
导出分级线性类型的分布规律。 109-131 阿尔贝托·奈博 , 尤塔·高桥 :
计算逻辑中的和谐。 132-156 克里斯蒂安·雷托 :
标记:相干空间范畴中非交换压缩和复制的自对偶形式。 157-174 迈克尔·舒尔曼 :
*-自动信封。 175-194 詹姆斯·伍德 , 罗伯特·阿特基 :
线性元理论的线性代数方法。 195-212