会员服务
线性的 · 标量 · 讲稿 ·
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
下载
关闭预览

相关内容

牛津大学最新《计算代数拓扑》笔记书，107页pdf
牛津大学最新《计算代数拓扑》笔记书，107页pdf
专知会员服务
42+阅读 · 2022年2月17日
【AAAI2022】面向多标签分类的端到端概率标签特征学习
【AAAI2022】面向多标签分类的端到端概率标签特征学习
专知会员服务
30+阅读 · 2022年1月27日
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
专知会员服务
44+阅读 · 2021年11月24日
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知会员服务
32+阅读 · 2021年3月7日
【ACL2020】多模态信息抽取，365页ppt
【ACL2020】多模态信息抽取，365页ppt
专知会员服务
143+阅读 · 2020年7月6日
【AI应用】Facebook-利用神经网络求解高等数学方程, Using neural networks to solve advanced mathematics equations
【AI应用】Facebook-利用神经网络求解高等数学方程, Using neural networks to solve advanced mathematics equations
专知会员服务
33+阅读 · 2020年1月15日
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
专知会员服务
28+阅读 · 2019年10月18日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
ExBert — 可视化分析Transformer学到的表示
ExBert — 可视化分析Transformer学到的表示
专知会员服务
31+阅读 · 2019年10月16日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
【CVPR2021】半监督迁移学习的自适应一致性正则化
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知
41+阅读 · 2021年3月7日
RL解决'BipedalWalkerHardcore-v2' (SOTA)
RL解决'BipedalWalkerHardcore-v2' (SOTA)
CreateAMind
31+阅读 · 2019年7月17日
Github项目推荐 | 语义分割、实例分割、全景分割和视频分割的论文和基准列表
Github项目推荐 | 语义分割、实例分割、全景分割和视频分割的论文和基准列表
AI研习社
31+阅读 · 2019年4月5日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
开放知识图谱
28+阅读 · 2018年6月11日
论文浅尝 | 利用 RNN 和 CNN 构建基于 FreeBase 的问答系统
论文浅尝 | 利用 RNN 和 CNN 构建基于 FreeBase 的问答系统
开放知识图谱
11+阅读 · 2018年4月25日
基于位置注意力机制模型和带标签数据来提升槽填充（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 空间中的迹嵌入及其应用
国家自然科学基金
1+阅读 · 2015年12月31日
一类奇异椭圆方程解的边界估计及其存在性
国家自然科学基金
0+阅读 · 2015年12月31日
罗巴代数的表示和罗巴代数在operad中的应用
国家自然科学基金
0+阅读 · 2015年12月31日
三类多尺度问题的多尺度算法
国家自然科学基金
1+阅读 · 2015年12月31日
复多项式的核拓扑熵
国家自然科学基金
0+阅读 · 2015年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
1+阅读 · 2015年12月31日
哈密尔顿系统及多体问题的周期解
国家自然科学基金
0+阅读 · 2014年12月31日
动态Gr？bner 基与GVW算法
国家自然科学基金
0+阅读 · 2014年12月31日
Poisson流形上的修正Hamilton方法
国家自然科学基金
0+阅读 · 2014年12月31日
套子代数的Hochschild上同调及套的分类
国家自然科学基金
3+阅读 · 2014年12月31日
A positivity preserving scheme for Poisson-Nernst-Planck Navier-Stokes equations and its error analysis
Arxiv
0+阅读 · 2023年11月29日
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日
An efficient class of increasingly high-order ENO schemes with multi-resolution
Arxiv
0+阅读 · 2023年11月27日
On the algorithmic descriptive complexity of attractors in topological dynamics
Arxiv
0+阅读 · 2023年11月26日
Exact confidence intervals for the mixing distribution from binomial mixture distribution samples
Arxiv
0+阅读 · 2023年11月24日
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日
On query complexity measures and their relations for symmetric functions
Arxiv
0+阅读 · 2023年11月23日
Orthogonal layers of parallelism in large-scale eigenvalue computations
Arxiv
0+阅读 · 2023年11月23日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
线性的
标量
讲稿
相关VIP内容
牛津大学最新《计算代数拓扑》笔记书，107页pdf
牛津大学最新《计算代数拓扑》笔记书，107页pdf
专知会员服务
42+阅读 · 2022年2月17日
【AAAI2022】面向多标签分类的端到端概率标签特征学习
【AAAI2022】面向多标签分类的端到端概率标签特征学习
专知会员服务
30+阅读 · 2022年1月27日
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
专知会员服务
44+阅读 · 2021年11月24日
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知会员服务
32+阅读 · 2021年3月7日
【ACL2020】多模态信息抽取，365页ppt
【ACL2020】多模态信息抽取，365页ppt
专知会员服务
143+阅读 · 2020年7月6日
【AI应用】Facebook-利用神经网络求解高等数学方程, Using neural networks to solve advanced mathematics equations
【AI应用】Facebook-利用神经网络求解高等数学方程, Using neural networks to solve advanced mathematics equations
专知会员服务
33+阅读 · 2020年1月15日
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
专知会员服务
28+阅读 · 2019年10月18日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
ExBert — 可视化分析Transformer学到的表示
ExBert — 可视化分析Transformer学到的表示
专知会员服务
31+阅读 · 2019年10月16日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
【CVPR2021】半监督迁移学习的自适应一致性正则化
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知
41+阅读 · 2021年3月7日
RL解决'BipedalWalkerHardcore-v2' (SOTA)
RL解决'BipedalWalkerHardcore-v2' (SOTA)
CreateAMind
31+阅读 · 2019年7月17日
Github项目推荐 | 语义分割、实例分割、全景分割和视频分割的论文和基准列表
Github项目推荐 | 语义分割、实例分割、全景分割和视频分割的论文和基准列表
AI研习社
31+阅读 · 2019年4月5日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
开放知识图谱
28+阅读 · 2018年6月11日
论文浅尝 | 利用 RNN 和 CNN 构建基于 FreeBase 的问答系统
论文浅尝 | 利用 RNN 和 CNN 构建基于 FreeBase 的问答系统
开放知识图谱
11+阅读 · 2018年4月25日
基于位置注意力机制模型和带标签数据来提升槽填充（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 positivity preserving scheme for Poisson-Nernst-Planck Navier-Stokes equations and its error analysis
Arxiv
0+阅读 · 2023年11月29日
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日
An efficient class of increasingly high-order ENO schemes with multi-resolution
Arxiv
0+阅读 · 2023年11月27日
On the algorithmic descriptive complexity of attractors in topological dynamics
Arxiv
0+阅读 · 2023年11月26日
Exact confidence intervals for the mixing distribution from binomial mixture distribution samples
Arxiv
0+阅读 · 2023年11月24日
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日
On query complexity measures and their relations for symmetric functions
Arxiv
0+阅读 · 2023年11月23日
Orthogonal layers of parallelism in large-scale eigenvalue computations
Arxiv
0+阅读 · 2023年11月23日
相关基金
Musielak-Orlicz-Sobolev 空间中的迹嵌入及其应用
国家自然科学基金
1+阅读 · 2015年12月31日
一类奇异椭圆方程解的边界估计及其存在性
国家自然科学基金
0+阅读 · 2015年12月31日
罗巴代数的表示和罗巴代数在operad中的应用
国家自然科学基金
0+阅读 · 2015年12月31日
三类多尺度问题的多尺度算法
国家自然科学基金
1+阅读 · 2015年12月31日
复多项式的核拓扑熵
国家自然科学基金
0+阅读 · 2015年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
1+阅读 · 2015年12月31日
哈密尔顿系统及多体问题的周期解
国家自然科学基金
0+阅读 · 2014年12月31日
动态Gr？bner 基与GVW算法
国家自然科学基金
0+阅读 · 2014年12月31日
Poisson流形上的修正Hamilton方法
国家自然科学基金
0+阅读 · 2014年12月31日
套子代数的Hochschild上同调及套的分类
国家自然科学基金
3+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top