阿兰·杰弗里 功能反应型。 (英语) Zbl 1394.68065号 2014年7月14日至18日,奥地利维也纳,2014年第二十三届EACSL计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑年会联席会议记录。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4503-2886-9)。第54号论文,第9页(2014年)。 引用于2文件 MSC公司: 68甲18 函数编程和lambda演算 03B44号 时间逻辑 关键词:从属类型;函数反应式编程;时序逻辑 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeffrey},in:2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。第54号论文,第9页(2014;Zbl 1394.68065) 全文: 内政部