会员服务
线性的 · 标量 · 讲稿 ·
2023 年 10 月 12 日
A linear proof language for second-order intuitionistic linear logic
翻译：暂无翻译
Alejandro Díaz-Caro,Gilles Dowek,Malena Ivnisky,Octavio Malherbe
Alejandro Díaz-Caro,Gilles Dowek,Malena Ivnisky,Octavio Malherbe
from arxiv, 18 pages + appendix. arXiv admin note: text overlap with arXiv:2201.11221

We present a polymorphic linear lambda-calculus as a proof language for second-order intuitionistic linear logic. The calculus includes addition and scalar multiplication, enabling the proof of a linearity result at the syntactic level.


翻译：暂无翻译
0
下载
关闭预览

相关内容

【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
专知会员服务
46+阅读 · 2021年11月24日
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知会员服务
33+阅读 · 2021年3月7日
【ACL2020】多模态信息抽取，365页ppt
【ACL2020】多模态信息抽取，365页ppt
专知会员服务
151+阅读 · 2020年7月6日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
36+阅读 · 2019年10月17日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
41+阅读 · 2019年10月9日
【CVPR2021】半监督迁移学习的自适应一致性正则化
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知
41+阅读 · 2021年3月7日
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
开放知识图谱
28+阅读 · 2018年6月11日
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
科技创新与创业
17+阅读 · 2017年11月17日
可解释的CNN
可解释的CNN
CreateAMind
17+阅读 · 2017年10月5日
Layer Normalization原理及其TensorFlow实现
Layer Normalization原理及其TensorFlow实现
深度学习每日摘要
32+阅读 · 2017年6月17日
Musielak-Orlicz-Sobolev 空间中的迹嵌入及其应用
国家自然科学基金
2+阅读 · 2015年12月31日
罗巴代数的表示和罗巴代数在operad中的应用
国家自然科学基金
0+阅读 · 2015年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
2+阅读 · 2015年12月31日
哈密尔顿系统及多体问题的周期解
国家自然科学基金
0+阅读 · 2014年12月31日
动态Gr？bner 基与GVW算法
国家自然科学基金
0+阅读 · 2014年12月31日
A statistical approach to latent dynamic modeling with differential equations
Arxiv
0+阅读 · 2023年11月27日
Stab-GKnock: Controlled variable selection for partially linear models using generalized knockoffs
Arxiv
0+阅读 · 2023年11月27日
A second order directional split exponential integrator for systems of advection--diffusion--reaction equations
Arxiv
0+阅读 · 2023年11月24日
Gradient-based bilevel optimization for multi-penalty Ridge regression through matrix differential calculus
Arxiv
0+阅读 · 2023年11月23日
Orthogonal layers of parallelism in large-scale eigenvalue computations
Arxiv
0+阅读 · 2023年11月23日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
线性的
标量
讲稿
相关VIP内容
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
专知会员服务
46+阅读 · 2021年11月24日
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知会员服务
33+阅读 · 2021年3月7日
【ACL2020】多模态信息抽取，365页ppt
【ACL2020】多模态信息抽取，365页ppt
专知会员服务
151+阅读 · 2020年7月6日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
36+阅读 · 2019年10月17日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
41+阅读 · 2019年10月9日
热门VIP内容
相关资讯
【CVPR2021】半监督迁移学习的自适应一致性正则化
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知
41+阅读 · 2021年3月7日
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
开放知识图谱
28+阅读 · 2018年6月11日
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
科技创新与创业
17+阅读 · 2017年11月17日
可解释的CNN
可解释的CNN
CreateAMind
17+阅读 · 2017年10月5日
Layer Normalization原理及其TensorFlow实现
Layer Normalization原理及其TensorFlow实现
深度学习每日摘要
32+阅读 · 2017年6月17日
相关论文
A statistical approach to latent dynamic modeling with differential equations
Arxiv
0+阅读 · 2023年11月27日
Stab-GKnock: Controlled variable selection for partially linear models using generalized knockoffs
Arxiv
0+阅读 · 2023年11月27日
A second order directional split exponential integrator for systems of advection--diffusion--reaction equations
Arxiv
0+阅读 · 2023年11月24日
Gradient-based bilevel optimization for multi-penalty Ridge regression through matrix differential calculus
Arxiv
0+阅读 · 2023年11月23日
Orthogonal layers of parallelism in large-scale eigenvalue computations
Arxiv
0+阅读 · 2023年11月23日
相关基金
Musielak-Orlicz-Sobolev 空间中的迹嵌入及其应用
国家自然科学基金
2+阅读 · 2015年12月31日
罗巴代数的表示和罗巴代数在operad中的应用
国家自然科学基金
0+阅读 · 2015年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
2+阅读 · 2015年12月31日
哈密尔顿系统及多体问题的周期解
国家自然科学基金
0+阅读 · 2014年12月31日
动态Gr？bner 基与GVW算法
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top