Graphic Lambda Calculus

被引：5
|
作者：
Buliga, Marius [1 ]
机构：
[1] Romanian Acad, Inst Math, POB 1-764, RO-014700 Bucharest, Romania
来源：
COMPLEX SYSTEMS | 2013年 / 22卷 / 04期
关键词：
D O I：
10.25088/ComplexSystems.22.4.311
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Graphic lambda calculus, a visual language that can be used for representing untyped lambda calculus, is introduced and studied. It can also be used for computations in emergent algebras or for representing Reidemeister moves of locally planar tangle diagrams.
引用
收藏
页码：311 / 360
页数：50
相关论文
共 50 条
  • [21] 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
  • [22] 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
  • [23] The differential lambda-calculus
    Ehrhard, T
    Regnier, L
    THEORETICAL COMPUTER SCIENCE, 2003, 309 (1-3) : 1 - 41
  • [24] A lambda calculus for real analysis
    Taylor, Paul
    JOURNAL OF LOGIC AND ANALYSIS, 2010, 2
  • [25] Polymorphic lambda calculus and subtyping
    Fiech, A
    Schmidt, DA
    THEORETICAL COMPUTER SCIENCE, 2002, 278 (1-2) : 111 - 140
  • [26] Demonstrating lambda calculus reduction
    Sestoft, P
    ESSENCE OF COMPUTATION: COMPLEXITY ANALYSIS, TRANSFORMATION, 2002, 2566 : 420 - 435
  • [27] Gradual Probabilistic Lambda Calculus
    Ye, Wenjia
    Toro, Matias
    Olmedo, Federico
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
  • [28] The lambda-context Calculus
    Gabbay, Murdoch J.
    Lengrand, Stephane
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 196 (19-35) : 19 - 35
  • [29] Propositions with Typed Lambda Calculus λ
    Singh H.
    SN Computer Science, 2022, 3 (3)
  • [30] A lambda calculus of incomplete objects
    Bono, V
    Bugliesi, M
    Liquori, L
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996, 1996, 1113 : 218 - 229
12345