会员服务
模态 · 规范化的 · BASIC · 置换 · 编程语言 ·
2022 年 6 月 17 日
An Investigation of 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
下载
关闭预览

相关内容

不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
76+阅读 · 2022年6月28日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
78+阅读 · 2022年3月15日
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
专知会员服务
50+阅读 · 2019年10月17日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
83+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
41+阅读 · 2019年10月9日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Workshop
【ICIG2021】Latest News & Announcements of the Workshop
中国图象图形学学会CSIG
0+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
中国图象图形学学会CSIG
0+阅读 · 2021年11月15日
【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日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
p65/Sp1-Dnmt1介导甲基化调控糖尿病肾病足细胞nephrin和podocin表达的研究
国家自然科学基金
0+阅读 · 2015年12月31日
PPAR β/δ基因在结直肠癌血管生成调控中的作用及分子机理
国家自然科学基金
2+阅读 · 2014年12月31日
miR-146a靶向IRAK1与TRAF6调控非小细胞肺癌转移的机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
Periostin在肝细胞癌抗血管生成靶向治疗中的作用及分子机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
基于Decorin基因甲基化调控的非小细胞肺癌转移的分子机制
国家自然科学基金
0+阅读 · 2011年12月31日
Planning and Scheduling in Digital Health with Answer Set Programming
Arxiv
0+阅读 · 2022年8月5日
XInsight: eXplainable Data Analysis Through The Lens of Causality
Arxiv
0+阅读 · 2022年8月5日
Topological Signal Processing using the Weighted Ordinal Partition Network
Arxiv
0+阅读 · 2022年8月3日
Recent Advances of Continual Learning in Computer Vision: An Overview
Recent Advances of Continual Learning in Computer Vision: An Overview
Arxiv
23+阅读 · 2021年9月23日
Multimodal Categorization of Crisis Events in Social Media
Multimodal Categorization of Crisis Events in Social Media
Arxiv
20+阅读 · 2020年4月10日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
模态
规范化的
BASIC
置换
编程语言
相关VIP内容
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
76+阅读 · 2022年6月28日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
78+阅读 · 2022年3月15日
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
专知会员服务
50+阅读 · 2019年10月17日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
83+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
41+阅读 · 2019年10月9日
热门VIP内容
相关资讯
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Workshop
【ICIG2021】Latest News & Announcements of the Workshop
中国图象图形学学会CSIG
0+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
中国图象图形学学会CSIG
0+阅读 · 2021年11月15日
【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日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
相关论文
Planning and Scheduling in Digital Health with Answer Set Programming
Arxiv
0+阅读 · 2022年8月5日
XInsight: eXplainable Data Analysis Through The Lens of Causality
Arxiv
0+阅读 · 2022年8月5日
Topological Signal Processing using the Weighted Ordinal Partition Network
Arxiv
0+阅读 · 2022年8月3日
Recent Advances of Continual Learning in Computer Vision: An Overview
Recent Advances of Continual Learning in Computer Vision: An Overview
Arxiv
23+阅读 · 2021年9月23日
Multimodal Categorization of Crisis Events in Social Media
Multimodal Categorization of Crisis Events in Social Media
Arxiv
20+阅读 · 2020年4月10日
相关基金
p65/Sp1-Dnmt1介导甲基化调控糖尿病肾病足细胞nephrin和podocin表达的研究
国家自然科学基金
0+阅读 · 2015年12月31日
PPAR β/δ基因在结直肠癌血管生成调控中的作用及分子机理
国家自然科学基金
2+阅读 · 2014年12月31日
miR-146a靶向IRAK1与TRAF6调控非小细胞肺癌转移的机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
Periostin在肝细胞癌抗血管生成靶向治疗中的作用及分子机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
基于Decorin基因甲基化调控的非小细胞肺癌转移的分子机制
国家自然科学基金
0+阅读 · 2011年12月31日
Top
微信扫码咨询专知VIP会员
Top