THE SEMANTICS OF 2ND ORDER POLYMORPHIC LAMBDA-CALCULUS

被引：0
|
作者：
BRUCE, KB [1 ]
MEYER, AR [1 ]
机构：
[1] MIT,COMP SCI LAB,CAMBRIDGE,MA 02139
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 173卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：131 / 144
页数：14
相关论文
共 50 条
  • [41] Spinal Atomic Lambda-Calculus
    Sherratt, David
    Heijltjes, Willem
    Gundersen, Tom
    Parigot, Michel
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2020, 2020, 12077 : 582 - 601
  • [42] ON THE REPRESENTATION OF DATA IN LAMBDA-CALCULUS
    PARIGOT, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 309 - 321
  • [43] LAMBDA-CALCULUS MODELS AND EXTENSIONALITY
    HINDLEY, R
    LONGO, G
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (02) : 392 - 392
  • [44] Solvability in Resource Lambda-Calculus
    Pagani, Michele
    della Rocca, Simona Ronchi
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2010, 6014 : 358 - 373
  • [45] HIGHLIGHTS OF THE HISTORY OF THE LAMBDA-CALCULUS
    ROSSER, JB
    [J]. ANNALS OF THE HISTORY OF COMPUTING, 1984, 6 (04): : 337 - 349
  • [46] Standardization in resource lambda-calculus
    Dominici, Maurizio
    Della Rocca, Simona Ronchi
    Tranquilli, Paolo
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (101): : 1 - 11
  • [47] INVERTIBLE TERMS IN THE LAMBDA-CALCULUS
    BERGSTRA, J
    KLOP, JW
    [J]. THEORETICAL COMPUTER SCIENCE, 1980, 11 (01) : 19 - 37
  • [48] A linear linear lambda-calculus
    Diaz-Caro, Alejandro
    Dowek, Gilles
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024,
  • [49] ON THE SEMANTICS OF 2ND ORDER LAMBDA CALCULUS - FROM BRUCE-MEYER-MITCHELL MODELS TO HYPERDOCTRINE MODELS AND VICE-VERSA
    JACOBS, B
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 389 : 198 - 212
  • [50] INTERNAL LABELINGS IN LAMBDA-CALCULUS
    PARIGOT, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 439 - 445
12345