会员服务
模态 · 规范化的 · BASIC · 置换 · 编程语言 ·
2022 年 6 月 15 日
An Investigation on Kripke-style Modal Type Theories
翻译：Kripke 风格模式类型理论调查
Jason Z. S. Hu,Brigitte Pientka
Jason Z. S. Hu,Brigitte Pientka

This technical report investigates Kripke-style modal type theories, both simply typed and dependently typed. We examine basic meta-theories of the type theories, develop their substitution calculi, and give normalization by evaluation algorithms.


翻译：本技术报告调查了Kripke式模式型式理论,既简单打字,又依附打字。 我们研究了这类理论的基本元理论,开发替代计算法,并通过评估算法实现正常化。
0
下载
关闭预览

相关内容

高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
72+阅读 · 2022年3月15日
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
专知会员服务
113+阅读 · 2020年4月5日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
161+阅读 · 2020年3月18日
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
专知会员服务
45+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
31+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
53+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
167+阅读 · 2019年10月11日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
77+阅读 · 2019年10月9日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
99+阅读 · 2019年10月9日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
Call for Nominations: 2022 Multimedia Prize Paper Award
Call for Nominations: 2022 Multimedia Prize Paper Award
CCF多媒体专委会
0+阅读 · 2022年2月12日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
2+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Latest News & Announcements of the Plenary Talk1
【ICIG2021】Latest News & Announcements of the Plenary Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年11月1日
【ICIG2021】Latest News & Announcements of the Industry Talk1
【ICIG2021】Latest News & Announcements of the Industry Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年7月28日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
一类稳态Schödinger-Poisson-Slater方程标准化解的研究
国家自然科学基金
1+阅读 · 2015年12月31日
二维碳材料掺杂与修饰的第一性原理研究
国家自然科学基金
1+阅读 · 2014年12月31日
介孔金属氮化物在燃料电池中的应用
国家自然科学基金
0+阅读 · 2014年12月31日
稀土MOF纳米荧光探针的设计合成及其生物应用
国家自然科学基金
0+阅读 · 2013年12月31日
Schrodinger-Poisson方程的若干问题研究
国家自然科学基金
1+阅读 · 2012年12月31日
新型核壳结构氧化铜/导电聚合物纳米复合材料的设计合成与锂电池应用
国家自然科学基金
0+阅读 · 2012年12月31日
Riemann-Hilbert 方法和随机矩阵谱分析中的 Painleve 渐近
国家自然科学基金
0+阅读 · 2012年12月31日
离子束溅射外延h-BN二维原子晶体及其与石墨烯异质结构研究
国家自然科学基金
0+阅读 · 2012年12月31日
低维冷原子系统中的Wilson系数和量子临界性
国家自然科学基金
0+阅读 · 2012年12月31日
脑肠肽ghrelin与帕金森病早期发生发展的关系研究
国家自然科学基金
0+阅读 · 2011年12月31日
On-the-Fly Syntax Highlighting using Neural Networks
Arxiv
0+阅读 · 2022年8月4日
Investigating the Impact of Continuous Integration Practices on the Productivity and Quality of Open-Source Projects
Arxiv
0+阅读 · 2022年8月4日
On the use of Artificial Neural Networks in Topology Optimisation
Arxiv
0+阅读 · 2022年8月4日
The Many-Worlds Calculus
Arxiv
0+阅读 · 2022年8月3日
Quantized Convolutional Neural Networks Through the Lens of Partial Differential Equations
Arxiv
0+阅读 · 2022年8月3日
How to reduce the search space of Entity Resolution: with Blocking or Nearest Neighbor search?
Arxiv
0+阅读 · 2022年8月2日
Smart Visual Beacons with Asynchronous Optical Communications using Event Cameras
Arxiv
0+阅读 · 2022年8月2日
On the role of benchmarking data sets and simulations in method comparison studies
Arxiv
0+阅读 · 2022年8月2日
Knowledge mining of unstructured information: application to cyber-domain
Arxiv
0+阅读 · 2022年8月1日
Powerful Graph Convolutioal Networks with Adaptive Propagation Mechanism for Homophily and Heterophily
Arxiv
20+阅读 · 2021年12月27日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
模态
规范化的
BASIC
置换
编程语言
相关VIP内容
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
72+阅读 · 2022年3月15日
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
专知会员服务
113+阅读 · 2020年4月5日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
161+阅读 · 2020年3月18日
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
专知会员服务
45+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
31+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
53+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
167+阅读 · 2019年10月11日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
77+阅读 · 2019年10月9日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
99+阅读 · 2019年10月9日
热门VIP内容
相关资讯
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
Call for Nominations: 2022 Multimedia Prize Paper Award
Call for Nominations: 2022 Multimedia Prize Paper Award
CCF多媒体专委会
0+阅读 · 2022年2月12日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
2+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Latest News & Announcements of the Plenary Talk1
【ICIG2021】Latest News & Announcements of the Plenary Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年11月1日
【ICIG2021】Latest News & Announcements of the Industry Talk1
【ICIG2021】Latest News & Announcements of the Industry Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年7月28日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
相关论文
On-the-Fly Syntax Highlighting using Neural Networks
Arxiv
0+阅读 · 2022年8月4日
Investigating the Impact of Continuous Integration Practices on the Productivity and Quality of Open-Source Projects
Arxiv
0+阅读 · 2022年8月4日
On the use of Artificial Neural Networks in Topology Optimisation
Arxiv
0+阅读 · 2022年8月4日
The Many-Worlds Calculus
Arxiv
0+阅读 · 2022年8月3日
Quantized Convolutional Neural Networks Through the Lens of Partial Differential Equations
Arxiv
0+阅读 · 2022年8月3日
How to reduce the search space of Entity Resolution: with Blocking or Nearest Neighbor search?
Arxiv
0+阅读 · 2022年8月2日
Smart Visual Beacons with Asynchronous Optical Communications using Event Cameras
Arxiv
0+阅读 · 2022年8月2日
On the role of benchmarking data sets and simulations in method comparison studies
Arxiv
0+阅读 · 2022年8月2日
Knowledge mining of unstructured information: application to cyber-domain
Arxiv
0+阅读 · 2022年8月1日
Powerful Graph Convolutioal Networks with Adaptive Propagation Mechanism for Homophily and Heterophily
Arxiv
20+阅读 · 2021年12月27日
相关基金
一类稳态Schödinger-Poisson-Slater方程标准化解的研究
国家自然科学基金
1+阅读 · 2015年12月31日
二维碳材料掺杂与修饰的第一性原理研究
国家自然科学基金
1+阅读 · 2014年12月31日
介孔金属氮化物在燃料电池中的应用
国家自然科学基金
0+阅读 · 2014年12月31日
稀土MOF纳米荧光探针的设计合成及其生物应用
国家自然科学基金
0+阅读 · 2013年12月31日
Schrodinger-Poisson方程的若干问题研究
国家自然科学基金
1+阅读 · 2012年12月31日
新型核壳结构氧化铜/导电聚合物纳米复合材料的设计合成与锂电池应用
国家自然科学基金
0+阅读 · 2012年12月31日
Riemann-Hilbert 方法和随机矩阵谱分析中的 Painleve 渐近
国家自然科学基金
0+阅读 · 2012年12月31日
离子束溅射外延h-BN二维原子晶体及其与石墨烯异质结构研究
国家自然科学基金
0+阅读 · 2012年12月31日
低维冷原子系统中的Wilson系数和量子临界性
国家自然科学基金
0+阅读 · 2012年12月31日
脑肠肽ghrelin与帕金森病早期发生发展的关系研究
国家自然科学基金
0+阅读 · 2011年12月31日
Top
微信扫码咨询专知VIP会员
Top