A calculus of lambda calculus contexts

被引：6
|
作者：
Bognar, M [1 ]
De Vrijer, R [1 ]
机构：
[1] Vrije Univ Amsterdam, Amsterdam, Netherlands
来源：
JOURNAL OF AUTOMATED REASONING | 2001年 / 27卷 / 01期
关键词：
lambda calculus; context calculus; pretyping;
D O I：
10.1023/A:1010654904735
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The calculus lambdac 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 lambdac 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
页数：31
相关论文
共 50 条
  • [31] Boolean algebras for lambda calculus
    Manzonettoto, G.
    Salibra, A.
    21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2006, : 317 - +
  • [32] 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
  • [33] Nonmodularity results for lambda calculus
    Salibra, A
    FUNDAMENTA INFORMATICAE, 2001, 45 (04) : 379 - 392
  • [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] Term Rewriting and Lambda Calculus
    Klop, Jan Willem
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 12 - 12
  • [40] 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
12345