会员服务
模态 · 规范化的 · 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讲授
专知会员服务
73+阅读 · 2022年6月28日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
75+阅读 · 2022年3月15日
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
专知会员服务
29+阅读 · 2022年3月8日
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
126+阅读 · 2020年7月18日
【跨语言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日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
82+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
40+阅读 · 2019年10月9日
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
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日
【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日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
p65/Sp1-Dnmt1介导甲基化调控糖尿病肾病足细胞nephrin和podocin表达的研究
国家自然科学基金
0+阅读 · 2015年12月31日
miRNAs调控柿单宁合成代谢机理研究
国家自然科学基金
0+阅读 · 2014年12月31日
PPAR β/δ基因在结直肠癌血管生成调控中的作用及分子机理
国家自然科学基金
1+阅读 · 2014年12月31日
卵巢癌干细胞自分泌CCL5在肿瘤新生血管形成中的作用及机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
双组分信号转导系统CpxA/CpxR调控副猪嗜血杆菌致病性的分子机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
miR-146a靶向IRAK1与TRAF6调控非小细胞肺癌转移的机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
Periostin在肝细胞癌抗血管生成靶向治疗中的作用及分子机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
一株含双降解质粒的红球菌（Rhodococcus sp.）二噁英降解机理研究
国家自然科学基金
0+阅读 · 2012年12月31日
基于Decorin基因甲基化调控的非小细胞肺癌转移的分子机制
国家自然科学基金
0+阅读 · 2011年12月31日
SARI基因在肺癌侵袭转移中的作用及分子机制
国家自然科学基金
0+阅读 · 2009年12月31日
Compositional theories for host-core languages
Arxiv
0+阅读 · 2022年8月5日
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
22+阅读 · 2021年9月23日
Data Augmentation for Graph Neural Networks
Arxiv
38+阅读 · 2020年12月2日
Multimodal Categorization of Crisis Events in Social Media
Multimodal Categorization of Crisis Events in Social Media
Arxiv
19+阅读 · 2020年4月10日
Memory Augmented Graph Neural Networks for Sequential Recommendation
Memory Augmented Graph Neural Networks for Sequential Recommendation
Arxiv
13+阅读 · 2019年12月26日
An Attentive Survey of Attention Models
Arxiv
19+阅读 · 2019年4月5日
Linkage Based Face Clustering via Graph Convolution Network
Arxiv
16+阅读 · 2019年3月27日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
模态
规范化的
BASIC
置换
编程语言
相关VIP内容
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
73+阅读 · 2022年6月28日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
75+阅读 · 2022年3月15日
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
专知会员服务
29+阅读 · 2022年3月8日
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
126+阅读 · 2020年7月18日
【跨语言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日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
82+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
40+阅读 · 2019年10月9日
热门VIP内容
相关资讯
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
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日
【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日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
相关论文
Compositional theories for host-core languages
Arxiv
0+阅读 · 2022年8月5日
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
22+阅读 · 2021年9月23日
Data Augmentation for Graph Neural Networks
Arxiv
38+阅读 · 2020年12月2日
Multimodal Categorization of Crisis Events in Social Media
Multimodal Categorization of Crisis Events in Social Media
Arxiv
19+阅读 · 2020年4月10日
Memory Augmented Graph Neural Networks for Sequential Recommendation
Memory Augmented Graph Neural Networks for Sequential Recommendation
Arxiv
13+阅读 · 2019年12月26日
An Attentive Survey of Attention Models
Arxiv
19+阅读 · 2019年4月5日
Linkage Based Face Clustering via Graph Convolution Network
Arxiv
16+阅读 · 2019年3月27日
相关基金
p65/Sp1-Dnmt1介导甲基化调控糖尿病肾病足细胞nephrin和podocin表达的研究
国家自然科学基金
0+阅读 · 2015年12月31日
miRNAs调控柿单宁合成代谢机理研究
国家自然科学基金
0+阅读 · 2014年12月31日
PPAR β/δ基因在结直肠癌血管生成调控中的作用及分子机理
国家自然科学基金
1+阅读 · 2014年12月31日
卵巢癌干细胞自分泌CCL5在肿瘤新生血管形成中的作用及机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
双组分信号转导系统CpxA/CpxR调控副猪嗜血杆菌致病性的分子机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
miR-146a靶向IRAK1与TRAF6调控非小细胞肺癌转移的机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
Periostin在肝细胞癌抗血管生成靶向治疗中的作用及分子机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
一株含双降解质粒的红球菌（Rhodococcus sp.）二噁英降解机理研究
国家自然科学基金
0+阅读 · 2012年12月31日
基于Decorin基因甲基化调控的非小细胞肺癌转移的分子机制
国家自然科学基金
0+阅读 · 2011年12月31日
SARI基因在肺癌侵袭转移中的作用及分子机制
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top