恩里克·柯特里赫特（Enrique V.Kortright）。 \（lambda{}\sigma\）：一种基于类型化演算的模拟语言。 （英语） 兹比尔0766.68012 高级模型。模拟。 25，第4期，第13-23页（1991年）. 我们描述了一种基于类型化演算的离散事件模拟语言。\（\lambda\）-微积分[H.巴伦德雷格特《兰姆达演算》，荷兰北部，阿姆斯特丹（1981；兹伯利0467.03010)；兰姆达演算及其模型，收录于82年逻辑学术讨论会。荷兰北部，阿姆斯特丹（1984年；Zbl 0558.03006号)]其类型化版本已被用于研究编程语言问题；编程语言的语义、不同的参数传递方法和静态类型检查问题都是在lambda演算的背景下研究的[L.Cardelli（卡德利）和P.韦格纳关于理解类型、数据抽象和多态性，ACM Computing Surveys 17，No.4，471-523（1985）和P.哈达克《函数编程语言的概念、演变和应用》，ACM Computing Surveys 21，No.3，359-411（1989）]。类型化演算也被用于形式化构造数学和直觉逻辑[P.Martin-Löf《直觉主义类型理论：谓语部分》，载于《逻辑学术讨论会》，H.Rose和J.Shepherdson，编辑：Elsevier North-Holland，纽约，73-118（1975；Zbl 0334.02016)；构造数学和计算机程序设计，《数学逻辑和程序设计语言》，C.霍尔和J.谢泼德森主编，普伦蒂斯·霍尔，恩格尔伍德·克利夫斯，新泽西州（1985）]，因此，它被用作逻辑和程序语言之间的桥梁[R.康斯特布尔《利用Nuprl证明开发系统实现数学》，普伦蒂斯·霍尔，恩格尔伍德·克利夫斯，J.J.（1986）]。在本文中，我们将此方法扩展到离散事件模拟。具体来说，我们根据类型化演算提出了通用离散事件仿真概念（例如实体、活动等）的形式化。 MSC公司： 68甲15 编程语言理论 68岁20岁 模拟（MSC2010） 03B40型 组合逻辑与lambda演算 关键词：离散事件模拟语言 引文：Zbl 0467.03010号；Zbl 0558.03006号；Zbl 0334.02016 软件：Nuprl公司 PDF格式BibTeX公司 XML格式引用 \textit{E.V.Kortright}，高级模型。模拟。25，编号4，13-23（1991；Zbl 0766.68012）