会员服务
Extensibility ·
2021 年 1 月 8 日
Polymorphic System I
翻译：多元系统一
Cristian F. Sottile,Alejandro Díaz-Caro,Pablo E. Martínez López
Cristian F. Sottile,Alejandro Díaz-Caro,Pablo E. Martínez López
from arxiv, 18 pages plus appendix

System I is a simply-typed lambda calculus with pairs, extended with an equational theory obtained from considering the type isomorphisms as equalities. In this work we propose an extension of System I to polymorphic types, adding the corresponding isomorphisms. We provide non-standard proofs of subject reduction and strong normalisation, extending those of System I.


翻译：系统I 是一个简单型号的羊羔微积分,配有双胞胎,扩展了从将等式形态视为等式中获得的方程式理论。在这项工作中,我们提议将系统I 扩展至多式,添加相应的等式。我们提供了非标准的数据,证明对象减少和强烈正常化,扩展了系统I 的等式。
0
下载
关闭预览

相关内容

【KDD2020-Tutorial】自动推荐系统，Automated Recommendation System
【KDD2020-Tutorial】自动推荐系统，Automated Recommendation System
专知会员服务
51+阅读 · 2020年8月25日
【Manning新书】现代Java实战，592页pdf
【Manning新书】现代Java实战，592页pdf
专知会员服务
99+阅读 · 2020年5月22日
【序列推荐系统:挑战、进展和展望】Sequential Recommender Systems
【序列推荐系统:挑战、进展和展望】Sequential Recommender Systems
专知会员服务
81+阅读 · 2020年4月25日
【硬核书】金融数学C++编程 ，411页pdf，C++ for Financial Mathematics
【硬核书】金融数学C++编程 ，411页pdf，C++ for Financial Mathematics
专知会员服务
72+阅读 · 2020年4月6日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
58+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
最新BERT相关论文清单，BERT-related Papers
最新BERT相关论文清单，BERT-related Papers
专知会员服务
52+阅读 · 2019年9月29日
百度凤巢新一代广告召回系统——“莫比乌斯”
百度凤巢新一代广告召回系统——“莫比乌斯”
AINLP
6+阅读 · 2020年6月13日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
meta learning 17年：MAML SNAIL
meta learning 17年：MAML SNAIL
CreateAMind
11+阅读 · 2019年1月2日
Hierarchical Disentangled Representations
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
【论文推荐】最新6篇推荐系统（Recommendation System）相关论文—深度、注意力、安全、可解释性、评论、自编码器
【论文推荐】最新6篇推荐系统（Recommendation System）相关论文—深度、注意力、安全、可解释性、评论、自编码器
专知
7+阅读 · 2018年2月8日
分布式TensorFlow入门指南
分布式TensorFlow入门指南
机器学习研究会
4+阅读 · 2017年11月28日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
9+阅读 · 2017年11月25日
可解释的CNN
可解释的CNN
CreateAMind
17+阅读 · 2017年10月5日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
【推荐】深度学习目标检测概览
【推荐】深度学习目标检测概览
机器学习研究会
10+阅读 · 2017年9月1日
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Arxiv
0+阅读 · 2021年3月8日
Reduction Free Normalisation for a proof irrelevant type of propositions
Arxiv
0+阅读 · 2021年3月7日
High order unconditionally strong stability preserving multi-derivative implicit and IMEX Runge--Kutta methods with asymptotic preserving properties
Arxiv
0+阅读 · 2021年3月5日
Towards Personalized Explanation of Robot Path Planning via User Feedback
Arxiv
0+阅读 · 2021年3月5日
Fail-Aware LIDAR-Based Odometry for Autonomous Vehicles
Arxiv
0+阅读 · 2021年3月5日
A Simple Algorithm for the Constrained Sequence Problems
Arxiv
0+阅读 · 2021年3月4日
Multiple-Channel Real Time Filtering for a Myoelectric Prosthetic Hand-Arm Robot System
Arxiv
0+阅读 · 2021年3月3日
Learning Tree-based Deep Model for Recommender Systems
Arxiv
8+阅读 · 2018年5月21日
MARS: Memory Attention-Aware Recommender System
Arxiv
6+阅读 · 2018年5月18日
Faithfully Explaining Rankings in a News Recommender System
Arxiv
6+阅读 · 2018年5月14日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
Extensibility
相关VIP内容
【KDD2020-Tutorial】自动推荐系统，Automated Recommendation System
【KDD2020-Tutorial】自动推荐系统，Automated Recommendation System
专知会员服务
51+阅读 · 2020年8月25日
【Manning新书】现代Java实战，592页pdf
【Manning新书】现代Java实战，592页pdf
专知会员服务
99+阅读 · 2020年5月22日
【序列推荐系统:挑战、进展和展望】Sequential Recommender Systems
【序列推荐系统:挑战、进展和展望】Sequential Recommender Systems
专知会员服务
81+阅读 · 2020年4月25日
【硬核书】金融数学C++编程 ，411页pdf，C++ for Financial Mathematics
【硬核书】金融数学C++编程 ，411页pdf，C++ for Financial Mathematics
专知会员服务
72+阅读 · 2020年4月6日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
58+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
最新BERT相关论文清单，BERT-related Papers
最新BERT相关论文清单，BERT-related Papers
专知会员服务
52+阅读 · 2019年9月29日
热门VIP内容
相关资讯
百度凤巢新一代广告召回系统——“莫比乌斯”
百度凤巢新一代广告召回系统——“莫比乌斯”
AINLP
6+阅读 · 2020年6月13日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
meta learning 17年：MAML SNAIL
meta learning 17年：MAML SNAIL
CreateAMind
11+阅读 · 2019年1月2日
Hierarchical Disentangled Representations
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
【论文推荐】最新6篇推荐系统（Recommendation System）相关论文—深度、注意力、安全、可解释性、评论、自编码器
【论文推荐】最新6篇推荐系统（Recommendation System）相关论文—深度、注意力、安全、可解释性、评论、自编码器
专知
7+阅读 · 2018年2月8日
分布式TensorFlow入门指南
分布式TensorFlow入门指南
机器学习研究会
4+阅读 · 2017年11月28日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
9+阅读 · 2017年11月25日
可解释的CNN
可解释的CNN
CreateAMind
17+阅读 · 2017年10月5日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
【推荐】深度学习目标检测概览
【推荐】深度学习目标检测概览
机器学习研究会
10+阅读 · 2017年9月1日
相关论文
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Arxiv
0+阅读 · 2021年3月8日
Reduction Free Normalisation for a proof irrelevant type of propositions
Arxiv
0+阅读 · 2021年3月7日
High order unconditionally strong stability preserving multi-derivative implicit and IMEX Runge--Kutta methods with asymptotic preserving properties
Arxiv
0+阅读 · 2021年3月5日
Towards Personalized Explanation of Robot Path Planning via User Feedback
Arxiv
0+阅读 · 2021年3月5日
Fail-Aware LIDAR-Based Odometry for Autonomous Vehicles
Arxiv
0+阅读 · 2021年3月5日
A Simple Algorithm for the Constrained Sequence Problems
Arxiv
0+阅读 · 2021年3月4日
Multiple-Channel Real Time Filtering for a Myoelectric Prosthetic Hand-Arm Robot System
Arxiv
0+阅读 · 2021年3月3日
Learning Tree-based Deep Model for Recommender Systems
Arxiv
8+阅读 · 2018年5月21日
MARS: Memory Attention-Aware Recommender System
Arxiv
6+阅读 · 2018年5月18日
Faithfully Explaining Rankings in a News Recommender System
Arxiv
6+阅读 · 2018年5月14日
Top
微信扫码咨询专知VIP会员
Top