UNIQUE NORMAL FORMS FOR LAMBDA-CALCULUS WITH SURJECTIVE PAIRING

被引：15
|
作者：
KLOP, JW
DEVRIJER, RC
机构：
[1] FREE UNIV AMSTERDAM,DEPT MATH & COMP SCI,1081 HV AMSTERDAM,NETHERLANDS
[2] UNIV AMSTERDAM,DEPT PHILOSOPHY,1012 CP AMSTERDAM,NETHERLANDS
来源：
INFORMATION AND COMPUTATION | 1989年 / 80卷 / 02期
关键词：
D O I：
10.1016/0890-5401(89)90014-X
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：97 / 113
页数：17
相关论文
共 50 条
  • [21] AN EFFICIENT INTERPRETER FOR THE LAMBDA-CALCULUS
    AIELLO, L
    PRINI, G
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1981, 23 (03) : 383 - 424
  • [22] ON THE REPRESENTATION OF DATA IN LAMBDA-CALCULUS
    PARIGOT, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 309 - 321
  • [23] COMPUTATIONAL LAMBDA-CALCULUS AND MONADS
    MOGGI, E
    [J]. FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 1989, : 14 - 23
  • [24] LAMBDA-CALCULUS MODELS AND EXTENSIONALITY
    HINDLEY, R
    LONGO, G
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (02) : 392 - 392
  • [25] Solvability in Resource Lambda-Calculus
    Pagani, Michele
    della Rocca, Simona Ronchi
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2010, 6014 : 358 - 373
  • [26] 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
  • [27] Semantics of time and lambda-calculus
    不详
    [J]. JOURNAL OF INDO-EUROPEAN STUDIES, 1999, 27 (3-4): : 508 - 508
  • [28] Standardization in resource lambda-calculus
    Dominici, Maurizio
    Della Rocca, Simona Ronchi
    Tranquilli, Paolo
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (101): : 1 - 11
  • [29] A linear linear lambda-calculus
    Diaz-Caro, Alejandro
    Dowek, Gilles
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024,
  • [30] INVERTIBLE TERMS IN THE LAMBDA-CALCULUS
    BERGSTRA, J
    KLOP, JW
    [J]. THEORETICAL COMPUTER SCIENCE, 1980, 11 (01) : 19 - 37
12345