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 条
  • [31] Nonmodularity results for lambda calculus
    Salibra, A
    FUNDAMENTA INFORMATICAE, 2001, 45 (04) : 379 - 392
  • [32] Boolean algebras for lambda calculus
    Manzonettoto, G.
    Salibra, A.
    21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2006, : 317 - +
  • [33] Lambda calculus as a workflow model
    Kelly, Peter M.
    Coddington, Paul D.
    Wendelborn, Andrew L.
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2009, 21 (16): : 1999 - 2017
  • [34] The differential lambda-calculus
    Ehrhard, T
    Regnier, L
    THEORETICAL COMPUTER SCIENCE, 2003, 309 (1-3) : 1 - 41
  • [35] A lambda calculus for real analysis
    Taylor, Paul
    JOURNAL OF LOGIC AND ANALYSIS, 2010, 2
  • [36] Polymorphic lambda calculus and subtyping
    Fiech, A
    Schmidt, DA
    THEORETICAL COMPUTER SCIENCE, 2002, 278 (1-2) : 111 - 140
  • [37] Demonstrating lambda calculus reduction
    Sestoft, P
    ESSENCE OF COMPUTATION: COMPLEXITY ANALYSIS, TRANSFORMATION, 2002, 2566 : 420 - 435
  • [38] Continuity and discontinuity in lambda calculus
    Severi, P
    de Vries, FJ
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 369 - 385
  • [39] Lambda Calculus with Regular Types
    Dundua, Besik
    Florido, Mario
    Kutsia, Temur
    2015 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), 2016, : 129 - 136
  • [40] Algorithms, The lambda Calculus and Programming
    Vichare, Abhijat
    RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2013, 18 (04): : 345 - 367
12345