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

相关内容

ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
专知会员服务
59+阅读 · 2022年4月22日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
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日
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日
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
专知会员服务
56+阅读 · 2019年10月17日
《DeepGCNs: Making GCNs Go as Deep as CNNs》
《DeepGCNs: Making GCNs Go as Deep as CNNs》
专知会员服务
30+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 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日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【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 Symposium5
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
中国图象图形学学会CSIG
1+阅读 · 2021年11月11日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【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】Check out the hot new trailer of ICIG2021 Symposium2
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium2
中国图象图形学学会CSIG
0+阅读 · 2021年11月8日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
HIF-1/COMPASS调控缺氧诱导Brg1和Brm表达上调的机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
对偶Auslander转置及其诱导模类的同调性质研究
国家自然科学基金
0+阅读 · 2015年12月31日
汽车车身点焊接头及整车疲劳断裂完整实体分析
国家自然科学基金
0+阅读 · 2014年12月31日
长链非编码RNA-VEC1340靶定KLF4在血管内皮细胞损伤中的调控及机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
HD-Zip转录因子对杜梨耐渗透胁迫的调节机理研究
国家自然科学基金
0+阅读 · 2013年12月31日
Erbin介导细胞周期异常与肿瘤发生的关系
国家自然科学基金
0+阅读 · 2012年12月31日
基于Decorin基因甲基化调控的非小细胞肺癌转移的分子机制
国家自然科学基金
0+阅读 · 2011年12月31日
结核特异性记忆CD4+T细胞表观遗传调控的研究
国家自然科学基金
0+阅读 · 2011年12月31日
模-相对Hochschild同调与上同调
国家自然科学基金
0+阅读 · 2011年12月31日
小电导Ca2+激活K+通道与ryanodine受体功能性偶联的研究
国家自然科学基金
0+阅读 · 2008年12月31日
Fully Automated Tree Topology Estimation and Artery-Vein Classification
Arxiv
0+阅读 · 2022年8月8日
Multicontinuum homogenization and its relation to nonlocal multicontinuum theories
Arxiv
0+阅读 · 2022年8月8日
Homological- and analytical-preserving serendipity framework for polytopal complexes, with application to the DDR method
Arxiv
0+阅读 · 2022年8月7日
A Computational Exploration of Emerging Methods of Variable Importance Estimation
Arxiv
0+阅读 · 2022年8月5日
Compositional theories for host-core languages
Arxiv
0+阅读 · 2022年8月5日
Analytical disk-cylinder interaction potential laws for the computational modeling of adhesive, deformable (nano)fibers
Arxiv
0+阅读 · 2022年8月5日
Standardizing and Centralizing Datasets to Enable Efficient Training of Agricultural Deep Learning Models
Arxiv
0+阅读 · 2022年8月4日
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers
Arxiv
0+阅读 · 2022年8月4日
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
Arxiv
0+阅读 · 2022年8月3日
Powerful Graph Convolutioal Networks with Adaptive Propagation Mechanism for Homophily and Heterophily
Arxiv
20+阅读 · 2021年12月27日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
模态
规范化的
BASIC
置换
编程语言
相关VIP内容
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
专知会员服务
59+阅读 · 2022年4月22日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
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日
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日
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
专知会员服务
56+阅读 · 2019年10月17日
《DeepGCNs: Making GCNs Go as Deep as CNNs》
《DeepGCNs: Making GCNs Go as Deep as CNNs》
专知会员服务
30+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 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日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【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 Symposium5
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
中国图象图形学学会CSIG
1+阅读 · 2021年11月11日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【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】Check out the hot new trailer of ICIG2021 Symposium2
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium2
中国图象图形学学会CSIG
0+阅读 · 2021年11月8日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
相关论文
Fully Automated Tree Topology Estimation and Artery-Vein Classification
Arxiv
0+阅读 · 2022年8月8日
Multicontinuum homogenization and its relation to nonlocal multicontinuum theories
Arxiv
0+阅读 · 2022年8月8日
Homological- and analytical-preserving serendipity framework for polytopal complexes, with application to the DDR method
Arxiv
0+阅读 · 2022年8月7日
A Computational Exploration of Emerging Methods of Variable Importance Estimation
Arxiv
0+阅读 · 2022年8月5日
Compositional theories for host-core languages
Arxiv
0+阅读 · 2022年8月5日
Analytical disk-cylinder interaction potential laws for the computational modeling of adhesive, deformable (nano)fibers
Arxiv
0+阅读 · 2022年8月5日
Standardizing and Centralizing Datasets to Enable Efficient Training of Agricultural Deep Learning Models
Arxiv
0+阅读 · 2022年8月4日
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers
Arxiv
0+阅读 · 2022年8月4日
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
Arxiv
0+阅读 · 2022年8月3日
Powerful Graph Convolutioal Networks with Adaptive Propagation Mechanism for Homophily and Heterophily
Arxiv
20+阅读 · 2021年12月27日
相关基金
HIF-1/COMPASS调控缺氧诱导Brg1和Brm表达上调的机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
对偶Auslander转置及其诱导模类的同调性质研究
国家自然科学基金
0+阅读 · 2015年12月31日
汽车车身点焊接头及整车疲劳断裂完整实体分析
国家自然科学基金
0+阅读 · 2014年12月31日
长链非编码RNA-VEC1340靶定KLF4在血管内皮细胞损伤中的调控及机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
HD-Zip转录因子对杜梨耐渗透胁迫的调节机理研究
国家自然科学基金
0+阅读 · 2013年12月31日
Erbin介导细胞周期异常与肿瘤发生的关系
国家自然科学基金
0+阅读 · 2012年12月31日
基于Decorin基因甲基化调控的非小细胞肺癌转移的分子机制
国家自然科学基金
0+阅读 · 2011年12月31日
结核特异性记忆CD4+T细胞表观遗传调控的研究
国家自然科学基金
0+阅读 · 2011年12月31日
模-相对Hochschild同调与上同调
国家自然科学基金
0+阅读 · 2011年12月31日
小电导Ca2+激活K+通道与ryanodine受体功能性偶联的研究
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top