×
卢卡·卡德利;朱塞佩·隆戈

Quest的语义基础。 （英语） Zbl 0941.68528号

J.功能。程序。 第1期，第4期，第417-458页（1991年）.

引用于18文件

MSC公司：

68甲15 编程语言理论
68甲18 函数编程和lambda演算
68问题55 计算理论中的语义学
03B70号 计算机科学中的逻辑

关键词：

程序设计语言Quest;非指示型量词;子类型;语义学;类型推理规则;类型的部分等价关系模型
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}和\textit{G.Longo}，J.Funct。程序。1，第4号，417--458（1991；Zbl 0941.68528）
全文： 内政部

参考文献：

[1] 布鲁斯，《信息与计算》87（1989）
[2] Feferman，J.ACM第151页–（1988）
[3] Bainbridge，程序。函数式程序设计逻辑基础程序设计研究所（1987）
[4] Ohori，程序。数据库编程语言讲习班（1987年）
[5] 内政部：10.1016/0890-5401（88）90009-0·Zbl 0656.68023号 ·doi:10.1016/0890-5401（88）90009-0
[6] Asperti，Categories，Types and Structures:工作计算机科学家的范畴理论导论（1991）·Zbl 0783.18001号
[7] 阿马迪奥，类型函数语言继承的形式理论（1989）
[8] 罗，ECC，《扩展的构造演算》（1988）
[9] 库克，Proc。POPL'90（1990）
[10] 内政部：10.1145/6041.6042·数字对象标识代码：10.1145/6041.6042
[11] Cardelli，类型编程（1989）
[12] Troelstra，《数学讲义》（1973）
[13] 内政部：10.1016/0890-5401（88）90007-7·Zbl 0651.68017号 ·doi:10.1016/0890-5401（88）90007-7
[14] 朗戈，《无懈可击的某些方面：韦尔的数学哲学和今天的类型理论笔记》（1988）
[15] Hyland，《计算机科学和逻辑分类》（Proc.Boulder’87）（1987）
[16] Hyland，《纯粹和应用逻辑年鉴》40（1987）
[17] DOI:10.1002/malq.19800261902·Zbl 0453.03015号 ·doi:10.1002/毫克.1900261902
[18] 巴伦德雷格特，λ演算；它的语法和语义（1984）·Zbl 0551.03007号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。