会员服务
线性的 · 标量 · 讲稿 ·
1 月 25 日
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

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
专知会员服务
145+阅读 · 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
专知会员服务
29+阅读 · 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研习社
32+阅读 · 2019年4月5日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
meta learning 17年：MAML SNAIL
meta learning 17年：MAML SNAIL
CreateAMind
11+阅读 · 2019年1月2日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
论文浅尝 | 嵌入常识知识的注意力 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 空间中的迹嵌入及其应用
国家自然科学基金
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 conventional expansion of first-order Belnap-Dunn logic
Arxiv
0+阅读 · 3月8日
Modified wavelet variation for the Hermite processes
Arxiv
0+阅读 · 3月8日
Tensor approximation of functional differential equations
Arxiv
0+阅读 · 3月7日
Non-reversible lifts of reversible diffusion processes and relaxation times
Arxiv
0+阅读 · 3月7日
The interdefinability of expansions of Belnap-Dunn logic
Arxiv
0+阅读 · 3月7日
Reinforcement learning-assisted quantum architecture search for variational quantum algorithms
Arxiv
0+阅读 · 3月7日
Robust covariance estimation and explainable outlier detection for matrix-valued data
Arxiv
0+阅读 · 3月6日
Robust radial basis function interpolation based on geodesic distance for the numerical coupling of multiphysics problems
Arxiv
0+阅读 · 3月6日
A reduced-order modeling of pattern formations
Arxiv
0+阅读 · 3月6日
A polynomial-time iterative algorithm for random graph matching with non-vanishing correlation
Arxiv
0+阅读 · 3月6日
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
专知会员服务
145+阅读 · 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
专知会员服务
29+阅读 · 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研习社
32+阅读 · 2019年4月5日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
meta learning 17年：MAML SNAIL
meta learning 17年：MAML SNAIL
CreateAMind
11+阅读 · 2019年1月2日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
论文浅尝 | 嵌入常识知识的注意力 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 conventional expansion of first-order Belnap-Dunn logic
Arxiv
0+阅读 · 3月8日
Modified wavelet variation for the Hermite processes
Arxiv
0+阅读 · 3月8日
Tensor approximation of functional differential equations
Arxiv
0+阅读 · 3月7日
Non-reversible lifts of reversible diffusion processes and relaxation times
Arxiv
0+阅读 · 3月7日
The interdefinability of expansions of Belnap-Dunn logic
Arxiv
0+阅读 · 3月7日
Reinforcement learning-assisted quantum architecture search for variational quantum algorithms
Arxiv
0+阅读 · 3月7日
Robust covariance estimation and explainable outlier detection for matrix-valued data
Arxiv
0+阅读 · 3月6日
Robust radial basis function interpolation based on geodesic distance for the numerical coupling of multiphysics problems
Arxiv
0+阅读 · 3月6日
A reduced-order modeling of pattern formations
Arxiv
0+阅读 · 3月6日
A polynomial-time iterative algorithm for random graph matching with non-vanishing correlation
Arxiv
0+阅读 · 3月6日
相关基金
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