菲利普·德格罗特 异常处理的简单演算。 （英语） Zbl 1063.68565号 Dezani-Ciancaglini，Mariangiola（编辑）等人，《类型lambda计算和应用》。1995年4月10日至12日，英国爱丁堡，1995年TLCA第二届国际会议。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-59048-X）。莱克特。注释计算。科学。902, 201-215 (1995). 摘要：我们引入了一个简单类型的（lambda）-演算（（lambda^\to_{exn}）），它具有类似ML的异常处理机制。这种微积分的类型系统通过Curry-Howard同构与经典逻辑相对应，它满足几个有趣的属性：除此之外，Church-Rosser、主题约简和强规范化。此外，它的类型系统确保了良好类型表达式的减少不会导致未捕获的异常。关于整个系列，请参见[Zbl 0813.68040号]. 引用于14文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 03B40型 组合逻辑与lambda演算 PDF格式BibTeX公司 XML格式引用 \文本｛P.de Groote｝，Lect。注释计算。科学。902201--215（1995年；Zbl 1063.68565）