THE ADDITION OF NONCOMBINATORIAL CORRELATIONS TO THE LAMBDA-CALCULUS

被引：0
|
作者：
KUZICHEV, AA
机构：
来源：
VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA | 1984年 / 06期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：34 / 36
页数：3
相关论文
共 50 条
  • [1] 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
  • [2] 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
  • [3] ALGEBRA AND THE LAMBDA-CALCULUS
    JAFFER, A
    DR DOBBS JOURNAL, 1993, 18 (09): : 36 - &
  • [4] The differential lambda-calculus
    Ehrhard, T
    Regnier, L
    THEORETICAL COMPUTER SCIENCE, 2003, 309 (1-3) : 1 - 41
  • [5] Lambda-calculus with constructors
    Arbiser, Ariel
    Miquel, Alexandre
    Rios, Alejandro
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 181 - 196
  • [6] Lambda-calculus schemata
    1600, (06): : 3 - 4
  • [7] Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
    Santo, Jose Espirito
    Matthes, Ralph
    Pinto, Luis
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2019, 29 (08) : 1092 - 1124
  • [8] AN EFFICIENT INTERPRETER FOR THE LAMBDA-CALCULUS
    AIELLO, L
    PRINI, G
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1981, 23 (03) : 383 - 424
  • [9] THE LAMBDA-CALCULUS AND INTENSIONAL LOGICS
    PARSONS, C
    JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (02) : 516 - 516
  • [10] METACIRCULARITY IN THE POLYMORPHIC LAMBDA-CALCULUS
    PFENNING, F
    LEE, P
    THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 137 - 159
12345