ALGEBRA AND THE LAMBDA-CALCULUS

被引：0
|
作者：
JAFFER, A [1 ]
机构：
[1] LEAGUE PROGRAMMING FREEDOM,WAKEFIELD,MA 01880
来源：
DR DOBBS JOURNAL | 1993年 / 18卷 / 09期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：36 / &
相关论文
共 50 条
  • [1] Atomic lambda-calculus: a typed lambda-calculus with explicit sharing
    Gundersen, Tom
    Heijltjes, Willem
    Parigot, Michel
    [J]. 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 311 - 320
  • [2] An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus
    Mazza, Damiano
    [J]. 2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 471 - 480
  • [3] The differential lambda-calculus
    Ehrhard, T
    Regnier, L
    [J]. THEORETICAL COMPUTER SCIENCE, 2003, 309 (1-3) : 1 - 41
  • [4] Lambda-calculus with constructors
    Arbiser, Ariel
    Miquel, Alexandre
    Rios, Alejandro
    [J]. TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 181 - 196
  • [5] Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
    Santo, Jose Espirito
    Matthes, Ralph
    Pinto, Luis
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2019, 29 (08) : 1092 - 1124
  • [6] LAMBDA-CALCULUS MODELS AND EXTENSIONALITY
    HINDLEY, R
    LONGO, G
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (04): : 289 - 310
  • [7] ON THE DEFINITION OF LAMBDA-CALCULUS MODELS
    BERRY, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 218 - 230
  • [8] COMPILING THE POLYMORPHIC LAMBDA-CALCULUS
    MICHAYLOV, S
    PFENNING, F
    [J]. SIGPLAN NOTICES, 1991, 26 (09): : 285 - 296
  • [9] Lambda-calculus with director strings
    Fernández, M
    Mackie, I
    Sinot, FR
    [J]. APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2005, 15 (06) : 393 - 437
  • [10] THE LAMBDA-CALCULUS AND INTENSIONAL LOGICS
    PARSONS, C
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (02) : 516 - 516
12345