R·大卫。；G·穆尼尔。 带异常的直觉（lambda）演算。 （英语） Zbl 1063.68030号 J.功能。程序。 15，第1期，33-52（2005）. 摘要：我们引入了一种类型化的\（\lambda\）演算，它允许在ML样式中使用异常。它是系统（AF_2）的扩展J.L.克里文[Lambda-calcul，类型和型号（1990年；Zbl 0697.03004号)]和D.利万特[“关于与类型学科相关的函数程序和复杂性类的推理”，见：《第24届计算机科学年度研讨会》，460-469（1983）]。我们展示了它的主要特性：合流性、强归一化和弱主题约简。该系统满足（AF_2）中的“证明即程序”范式。此外，我们系统的下划线逻辑是直觉逻辑。 引用于2文件 MSC公司： 68甲18 函数编程和lambda演算 03B70号 计算机科学中的逻辑 关键词：直觉逻辑 引文：兹标0697.03004 PDF格式BibTeX公司 XML格式引用 \textit{R.David}和\textit{G.Mounier}，J.Funct。程序。15、第1号、第33-52号（2005；Zbl 1063.68030） 全文： DOI程序