Infinitary lambda calculus

被引：85
|
作者：
Kennaway, JR
Klop, JW
Sleep, MR
deVries, FJ
机构：
[1] UNIV E ANGLIA,SCH INFORMAT SYST,NORWICH NR4 7TJ,NORFOLK,ENGLAND
[2] CWI,DEPT SOFTWARE TECHNOL,NL-1090 GB AMSTERDAM,NETHERLANDS
[3] HITACHI LTD,ADV RES LAB,HATOYAMA,SAITAMA 35003,JAPAN
来源：
THEORETICAL COMPUTER SCIENCE | 1997年 / 175卷 / 01期
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
10.1016/S0304-3975(96)00171-5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In a previous paper we have established the theory of transfinite reduction for orthogonal term rewriting systems. In this paper we perform the same task for the lambda calculus. From the viewpoint of infinitary rewriting, the Bohm model of the lambda calculus can be seen as an infinitary term model. In contrast to term rewriting, there are several different possible notions of infinite term, which give rise to different Bohm-like models, which embody different notions of lazy or eager computation.
引用
收藏
页码：93 / 125
页数：33
相关论文
共 50 条
  • [31] On the lambda Y calculus
    Statman, R
    17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 159 - 166
  • [32] An Introduction to the Lambda Calculus
    Csoernyei, Zoltan
    Devai, Gergely
    CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, 2008, 5161 : 87 - 111
  • [33] A lambda calculus with forms
    Lumpe, M
    SOFTWARE COMPOSITION, 2005, 3628 : 83 - 98
  • [34] MODELS OF THE LAMBDA CALCULUS
    KOYMANS, CPJ
    INFORMATION AND CONTROL, 1982, 52 (03): : 306 - 332
  • [35] A Simpler Lambda Calculus
    Jay, Barry
    PROCEEDINGS OF THE 2019 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM '19), 2019, : 1 - 9
  • [36] Graphic Lambda Calculus
    Buliga, Marius
    COMPLEX SYSTEMS, 2013, 22 (04): : 311 - 360
  • [37] The intensional lambda calculus
    Artemov, Sergei
    Bonelli, Eduardo
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4514 : 12 - +
  • [38] Godelization in the lambda calculus
    Goldberg, M
    INFORMATION PROCESSING LETTERS, 2000, 75 (1-2) : 13 - 16
  • [39] The safe lambda calculus
    Blum, William
    Ong, C. -H. Luke
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2007, 4583 : 39 - +
  • [40] Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
    Tesi, Matteo
    Negri, Sara
    JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (07) : 1608 - 1639
12345