A Calculus of Lambda Calculus Contexts

被引：0
|
作者：
Mirna Bognar
Roel de Vrijer
机构：
[1] Vrije Universiteit,
来源：
Journal of Automated Reasoning | 2001年 / 27卷
关键词：
lambda calculus; context calculus; pretyping;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The calculus λc serves as a general framework for representing contexts. Essential features are control over variable capturing and the freedom to manipulate contexts before or after hole filling, by a mechanism of delayed substitution. The context calculus λc is given in the form of an extension of the lambda calculus. Many notions of context can be represented within the framework; a particular variation can be obtained by the choice of a pretyping, which we illustrate by three examples.
引用
收藏
页码：29 / 59
页数：30
相关论文
共 50 条
  • [21] The safe lambda calculus
    Blum, William
    Ong, C. -H. Luke
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2007, 4583 : 39 - +
  • [22] Infinitary lambda calculus
    Kennaway, JR
    Klop, JW
    Sleep, MR
    deVries, FJ
    THEORETICAL COMPUTER SCIENCE, 1997, 175 (01) : 93 - 125
  • [23] An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus
    Mazza, Damiano
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 471 - 480
  • [24] 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
  • [25] Gradual Probabilistic Lambda Calculus
    Ye, Wenjia
    Toro, Matias
    Olmedo, Federico
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
  • [26] The lambda-context Calculus
    Gabbay, Murdoch J.
    Lengrand, Stephane
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 196 (19-35) : 19 - 35
  • [27] Propositions with Typed Lambda Calculus λ
    Singh H.
    SN Computer Science, 2022, 3 (3)
  • [28] A lambda calculus of incomplete objects
    Bono, V
    Bugliesi, M
    Liquori, L
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996, 1996, 1113 : 218 - 229
  • [29] Topology in lambda calculus (I)
    Ying, MS
    NEW TECHNOLOGIES ON COMPUTER SOFTWARE, 1997, : 1 - 5
  • [30] Weak linearization of the lambda calculus
    Alves, S
    Florido, M
    THEORETICAL COMPUTER SCIENCE, 2005, 342 (01) : 79 - 103
12345