会员服务
对应关系 · 设计 ·
2023 年 4 月 17 日
A theory independent Curry-De Bruijn-Howard correspondence
翻译：独立于理论的Curry-De Bruijn-Howard对应关系
Gilles Dowek
Gilles Dowek

Instead of developing a customized typed lambda-calculus for each theory, we attempt to design a general parametric calculus that permits to express the proofs of any theory. This way, the problem of expressing proofs in the lambda-calculus is separated from that of choosing a theory.


翻译：不是为每个理论开发一个自定义的类型λ-演算，而是尝试设计一个通用的参数演算，允许表达任何理论的证明。这样，将表达证明的问题与选择理论的问题分离。
0
下载
关闭预览

相关内容

【干货书】机器学习设计模式，408页pdf，Machine Learning Design Patterns
【干货书】机器学习设计模式，408页pdf，Machine Learning Design Patterns
专知会员服务
134+阅读 · 2022年2月6日
【经典书】从数据中学习，第二版，LEARNING FROM DATA Concepts, Theory, and Methods
专知会员服务
47+阅读 · 2021年9月6日
【ICML2021】核持续学习，Kernel Continual Learning
专知会员服务
31+阅读 · 2021年7月15日
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
专知会员服务
132+阅读 · 2021年6月16日
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
421+阅读 · 2021年1月11日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
【UIUC硬核书】统计学习理论，Statistical Learning Theory，213页pdf
【UIUC硬核书】统计学习理论，Statistical Learning Theory，213页pdf
专知会员服务
133+阅读 · 2020年4月14日
【CVPR2020-斯坦福】从RGB-D扫描对抗纹理优化，Adversarial Texture Optimization
【CVPR2020-斯坦福】从RGB-D扫描对抗纹理优化，Adversarial Texture Optimization
专知会员服务
16+阅读 · 2020年3月21日
康奈尔大学Jon Kleinberg经典书《算法设计Algorithm Design》课件PPT与电子书，864页pdf
康奈尔大学Jon Kleinberg经典书《算法设计Algorithm Design》课件PPT与电子书，864页pdf
专知会员服务
229+阅读 · 2020年1月21日
【伯克利，基于模型的强化学习：理论与实践】《Model-Based Reinforcement Learning:Theory and Practice》，Michael Janner
【伯克利，基于模型的强化学习：理论与实践】《Model-Based Reinforcement Learning:Theory and Practice》，Michael Janner
专知会员服务
34+阅读 · 2019年12月12日
图机器学习 2.2-2.4 Properties of Networks, Random Graph
图机器学习 2.2-2.4 Properties of Networks, Random Graph
图与推荐
10+阅读 · 2020年3月28日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
RL解决'BipedalWalkerHardcore-v2' (SOTA)
RL解决'BipedalWalkerHardcore-v2' (SOTA)
CreateAMind
31+阅读 · 2019年7月17日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
深度自进化聚类：Deep Self-Evolution Clustering
深度自进化聚类：Deep Self-Evolution Clustering
我爱读PAMI
15+阅读 · 2019年4月13日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
【论文推荐】最新五篇视频分类相关论文—细粒度行人识别、群组归一化、MLtuner、时序特征
【论文推荐】最新五篇视频分类相关论文—细粒度行人识别、群组归一化、MLtuner、时序特征
专知
22+阅读 · 2018年4月21日
MoCoGAN 分解运动和内容的视频生成
MoCoGAN 分解运动和内容的视频生成
CreateAMind
18+阅读 · 2017年10月21日
不确定分数阶非线性系统Mittag-Leffler自适应控制
国家自然科学基金
1+阅读 · 2016年12月31日
图论中的整数流与圆流
国家自然科学基金
0+阅读 · 2015年12月31日
复多项式的核拓扑熵
国家自然科学基金
0+阅读 · 2015年12月31日
带有Levy跳的随机时滞微分方程的数值解法及稳定性研究
国家自然科学基金
0+阅读 · 2013年12月31日
有向超欧拉图及相关问题研究
国家自然科学基金
0+阅读 · 2013年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
含Hardy位势的边界爆破问题的定性研究
国家自然科学基金
0+阅读 · 2011年12月31日
复动力系统与 Ahlfors 曲面覆盖论中的若干问题
国家自然科学基金
0+阅读 · 2009年12月31日
遍历哈密顿系统的谱理论
国家自然科学基金
0+阅读 · 2009年12月31日
仿射流形上的非线性分析
国家自然科学基金
0+阅读 · 2008年12月31日
Auditing for Human Expertise
Arxiv
0+阅读 · 2023年6月2日
Decentralized Online Regularized Learning Over Random Time-Varying Graphs
Arxiv
0+阅读 · 2023年6月2日
Energy-Efficient UAV-Assisted IoT Data Collection via TSP-Based Solution Space Reduction
Arxiv
0+阅读 · 2023年6月2日
Algorithms Transcending the SAT-Symmetry Interface
Arxiv
0+阅读 · 2023年6月1日
From proof theory to theories theory
Arxiv
0+阅读 · 2023年6月1日
Space Net Optimization
Arxiv
0+阅读 · 2023年5月31日
Is Learning in Games Good for the Learners?
Arxiv
0+阅读 · 2023年5月31日
Multi-task Learning of Order-Consistent Causal Graphs
Arxiv
10+阅读 · 2021年11月3日
The Principles of Deep Learning Theory
Arxiv
64+阅读 · 2021年6月18日
Deep contextualized word representations
Arxiv
10+阅读 · 2018年3月22日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
对应关系
设计
相关VIP内容
【干货书】机器学习设计模式，408页pdf，Machine Learning Design Patterns
【干货书】机器学习设计模式，408页pdf，Machine Learning Design Patterns
专知会员服务
134+阅读 · 2022年2月6日
【经典书】从数据中学习，第二版，LEARNING FROM DATA Concepts, Theory, and Methods
专知会员服务
47+阅读 · 2021年9月6日
【ICML2021】核持续学习，Kernel Continual Learning
专知会员服务
31+阅读 · 2021年7月15日
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
专知会员服务
132+阅读 · 2021年6月16日
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
421+阅读 · 2021年1月11日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
【UIUC硬核书】统计学习理论，Statistical Learning Theory，213页pdf
【UIUC硬核书】统计学习理论，Statistical Learning Theory，213页pdf
专知会员服务
133+阅读 · 2020年4月14日
【CVPR2020-斯坦福】从RGB-D扫描对抗纹理优化，Adversarial Texture Optimization
【CVPR2020-斯坦福】从RGB-D扫描对抗纹理优化，Adversarial Texture Optimization
专知会员服务
16+阅读 · 2020年3月21日
康奈尔大学Jon Kleinberg经典书《算法设计Algorithm Design》课件PPT与电子书，864页pdf
康奈尔大学Jon Kleinberg经典书《算法设计Algorithm Design》课件PPT与电子书，864页pdf
专知会员服务
229+阅读 · 2020年1月21日
【伯克利，基于模型的强化学习：理论与实践】《Model-Based Reinforcement Learning:Theory and Practice》，Michael Janner
【伯克利，基于模型的强化学习：理论与实践】《Model-Based Reinforcement Learning:Theory and Practice》，Michael Janner
专知会员服务
34+阅读 · 2019年12月12日
热门VIP内容
相关资讯
图机器学习 2.2-2.4 Properties of Networks, Random Graph
图机器学习 2.2-2.4 Properties of Networks, Random Graph
图与推荐
10+阅读 · 2020年3月28日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
RL解决'BipedalWalkerHardcore-v2' (SOTA)
RL解决'BipedalWalkerHardcore-v2' (SOTA)
CreateAMind
31+阅读 · 2019年7月17日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
深度自进化聚类：Deep Self-Evolution Clustering
深度自进化聚类：Deep Self-Evolution Clustering
我爱读PAMI
15+阅读 · 2019年4月13日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
【论文推荐】最新五篇视频分类相关论文—细粒度行人识别、群组归一化、MLtuner、时序特征
【论文推荐】最新五篇视频分类相关论文—细粒度行人识别、群组归一化、MLtuner、时序特征
专知
22+阅读 · 2018年4月21日
MoCoGAN 分解运动和内容的视频生成
MoCoGAN 分解运动和内容的视频生成
CreateAMind
18+阅读 · 2017年10月21日
相关论文
Auditing for Human Expertise
Arxiv
0+阅读 · 2023年6月2日
Decentralized Online Regularized Learning Over Random Time-Varying Graphs
Arxiv
0+阅读 · 2023年6月2日
Energy-Efficient UAV-Assisted IoT Data Collection via TSP-Based Solution Space Reduction
Arxiv
0+阅读 · 2023年6月2日
Algorithms Transcending the SAT-Symmetry Interface
Arxiv
0+阅读 · 2023年6月1日
From proof theory to theories theory
Arxiv
0+阅读 · 2023年6月1日
Space Net Optimization
Arxiv
0+阅读 · 2023年5月31日
Is Learning in Games Good for the Learners?
Arxiv
0+阅读 · 2023年5月31日
Multi-task Learning of Order-Consistent Causal Graphs
Arxiv
10+阅读 · 2021年11月3日
The Principles of Deep Learning Theory
Arxiv
64+阅读 · 2021年6月18日
Deep contextualized word representations
Arxiv
10+阅读 · 2018年3月22日
相关基金
不确定分数阶非线性系统Mittag-Leffler自适应控制
国家自然科学基金
1+阅读 · 2016年12月31日
图论中的整数流与圆流
国家自然科学基金
0+阅读 · 2015年12月31日
复多项式的核拓扑熵
国家自然科学基金
0+阅读 · 2015年12月31日
带有Levy跳的随机时滞微分方程的数值解法及稳定性研究
国家自然科学基金
0+阅读 · 2013年12月31日
有向超欧拉图及相关问题研究
国家自然科学基金
0+阅读 · 2013年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
含Hardy位势的边界爆破问题的定性研究
国家自然科学基金
0+阅读 · 2011年12月31日
复动力系统与 Ahlfors 曲面覆盖论中的若干问题
国家自然科学基金
0+阅读 · 2009年12月31日
遍历哈密顿系统的谱理论
国家自然科学基金
0+阅读 · 2009年12月31日
仿射流形上的非线性分析
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top