马丁·霍夫曼 线性/模态lambda演算的语义。 （英语） Zbl 0965.68011号 J.功能。程序。 9，第3期，247-277（1999）. 定义了具有模态和线性类型的lambda演算SLR的语义。微积分是Bellantoni-Cook函数代数BC到更高类型的扩展。语义是根据Chu空间在特定类别的滑轮上开发的，由此可以得出所有可表达的函数都是PTIME。本文讨论了楚空间解释和延续绘画风格转换之间的相似性。审核人：达马斯·格鲁斯卡（布拉迪斯拉发） 引用于2文件 MSC公司： 68甲18 函数编程和lambda演算 关键词：λ演算；模态和线性类型；PTIME（输入法） PDF格式BibTeX公司 XML格式引用 \文本｛M.Hofmann｝，J.Funct。程序。9，第3号，247--277（1999；Zbl 0965.68011） 全文： 内政部