Termination of lambda-calculus linearisation methods

被引：0
|
作者：
Alves, Sandra
机构：
来源：
Electronic Proceedings in Theoretical Computer Science, EPTCS | 2019年 / 292卷
关键词：
D O I：
10.4204/EPTCS.292
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Termination of Lambda-Calculus Linearisation Methods
    Alves, Sandra
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (292):
  • [2] 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
  • [3] 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
  • [4] ALGEBRA AND THE LAMBDA-CALCULUS
    JAFFER, A
    DR DOBBS JOURNAL, 1993, 18 (09): : 36 - &
  • [5] The differential lambda-calculus
    Ehrhard, T
    Regnier, L
    THEORETICAL COMPUTER SCIENCE, 2003, 309 (1-3) : 1 - 41
  • [6] Lambda-calculus with constructors
    Arbiser, Ariel
    Miquel, Alexandre
    Rios, Alejandro
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 181 - 196
  • [7] Lambda-calculus schemata
    1600, (06): : 3 - 4
  • [8] 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
  • [9] AN EFFICIENT INTERPRETER FOR THE LAMBDA-CALCULUS
    AIELLO, L
    PRINI, G
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1981, 23 (03) : 383 - 424
  • [10] THE LAMBDA-CALCULUS AND INTENSIONAL LOGICS
    PARSONS, C
    JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (02) : 516 - 516
12345