原名:Proof nets / Essential nets for MFILL and MBILL
作品简介:FILL享受削减消除。 ▷ (Pinto and Uustalu 2011) 关联了另一个带有语义信息的标签系统，采用 Sara Negri 的风格，以及嵌套的顺序微积分。 ▷ (Goré et al. 2013) 考虑了显示演算和深度推理。 ▷ (Crolard 2004) 使用注释系统……
资源下载
VIP免费升级VIP
原名:Proof nets / Essential nets for MFILL and MBILL
作品简介:FILL享受削减消除。 ▷ (Pinto and Uustalu 2011) 关联了另一个带有语义信息的标签系统，采用 Sara Negri 的风格，以及嵌套的顺序微积分。 ▷ (Goré et al. 2013) 考虑了显示演算和深度推理。 ▷ (Crolard 2004) 使用注释系统……
