×
阿列克桑达尔·纳内夫斯基;弗兰克·芬宁;碧姬·品特卡

语境模态类型理论。 （英语） Zbl 1367.03060号

ACM事务处理。计算。日志。 第9号第3条第23条第49页（2008年）.

引用于42文件

MSC公司：

03B70号 计算机科学中的逻辑
03B45号 模态逻辑（包括规范逻辑）
68N17号 逻辑编程
68甲18 函数编程和lambda演算

关键词：

类型理论;直觉模态逻辑;逻辑框架

软件：

Twelf公司;ALF公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Nanevski}等人，《美国医学杂志》。计算。日志。9，第3号，第23条，49页（2008年；Zbl 1367.03060）
全文： 内政部 链接