×
丹尼尔·格拉泽;卡沃斯，G.A。;安德烈亚斯·努伊茨;拉尔斯·比克达尔

多模依赖型理论。 （英语） Zbl 1498.03029号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。492-506 (2020).

引用于4文件

MSC公司：

03B38型 类型理论
03B45号 模态逻辑（包括规范逻辑）

关键词：

模态类型;依赖类型;范畴语义学;胶合;保护递归
PDF格式BibTeX公司 XML格式引用
\textit{D.Gratzer}等人，in：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。492--506（2020年；Zbl 1498.03029）
全文： 内政部