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 条
  • [41] Atomic lambda-calculus: a typed lambda-calculus with explicit sharing
    Gundersen, Tom
    Heijltjes, Willem
    Parigot, Michel
    2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 311 - 320
  • [42] sMALL CaPS An Infinitary Linear Logic for a Calculus of Pure Sessions
    Dagnino, Francesco
    Padovani, Luca
    26TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2024, 2024,
  • [43] Invertible infinitary calculus without loop rules for restricted FTL
    Pliuškevičius R.
    Journal of Mathematical Sciences, 2005, 126 (3) : 1210 - 1228
  • [44] The differential lambda-calculus
    Ehrhard, T
    Regnier, L
    THEORETICAL COMPUTER SCIENCE, 2003, 309 (1-3) : 1 - 41
  • [45] A lambda calculus for real analysis
    Taylor, Paul
    JOURNAL OF LOGIC AND ANALYSIS, 2010, 2
  • [46] Polymorphic lambda calculus and subtyping
    Fiech, A
    Schmidt, DA
    THEORETICAL COMPUTER SCIENCE, 2002, 278 (1-2) : 111 - 140
  • [47] Demonstrating lambda calculus reduction
    Sestoft, P
    ESSENCE OF COMPUTATION: COMPLEXITY ANALYSIS, TRANSFORMATION, 2002, 2566 : 420 - 435
  • [48] Gradual Probabilistic Lambda Calculus
    Ye, Wenjia
    Toro, Matias
    Olmedo, Federico
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
  • [49] The lambda-context Calculus
    Gabbay, Murdoch J.
    Lengrand, Stephane
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 196 (19-35) : 19 - 35
  • [50] Propositions with Typed Lambda Calculus λ
    Singh H.
    SN Computer Science, 2022, 3 (3)
12345