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 条
  • [41] Algorithms, The lambda Calculus and Programming
    Vichare, Abhijat
    RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2013, 18 (04): : 345 - 367
  • [42] Lambda calculus with explicit recursion
    Ariola, ZM
    Klop, JW
    INFORMATION AND COMPUTATION, 1997, 139 (02) : 154 - 233
  • [43] On the algebraic models of lambda calculus
    Salibra, A
    THEORETICAL COMPUTER SCIENCE, 2000, 249 (01) : 197 - 240
  • [44] Lambda Calculus and Probabilistic Computation
    Faggian, Claudia
    della Rocca, Simona Ronchi
    2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
  • [45] Matching for the lambda calculus of objects
    Bono, V
    Bugliesi, M
    THEORETICAL COMPUTER SCIENCE, 1999, 212 (1-2) : 101 - 140
  • [46] Lambda-calculus schemata
    1600, (06): : 3 - 4
  • [47] Partial evaluation for the lambda calculus
    Jones, ND
    Gomard, CK
    Sestoft, P
    PARTIAL EVALUATION: PRACTICE AND THEORY, 1999, 1706 : 203 - 220
  • [48] A concurrent lambda calculus with futures
    Niehren, J.
    Schwinghammer, J.
    Smolka, G.
    THEORETICAL COMPUTER SCIENCE, 2006, 364 (03) : 338 - 356
  • [49] A Nominal Axiomatization of the Lambda Calculus
    Gabbay, Murdoch J.
    Mathijssen, Aad
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (02) : 501 - 531
  • [50] Lambda-calculus with constructors
    Arbiser, Ariel
    Miquel, Alexandre
    Rios, Alejandro
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 181 - 196
12345