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 条
  • [1] A Calculus of Lambda Calculus Contexts
    Mirna Bognar
    Roel de Vrijer
    Journal of Automated Reasoning, 2001, 27 : 29 - 59
  • [2] A calculus of lambda calculus contexts
    Bognar, M
    De Vrijer, R
    JOURNAL OF AUTOMATED REASONING, 2001, 27 (01) : 29 - 59
  • [3] Lambda calculus with patterns
    Klop, Jan Willem
    van Oostrom, Vincent
    de Vrijer, Roel
    THEORETICAL COMPUTER SCIENCE, 2008, 398 (1-3) : 16 - 31
  • [4] The dagger lambda calculus
    Atzemoglou, Philip
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (172): : 217 - 235
  • [5] A Braided Lambda Calculus
    Hasegawa, Masahito
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (353): : 94 - 108
  • [6] Lambda Calculus With Types
    Rezus, Adrian
    STUDIA LOGICA, 2015, 103 (06) : 1319 - 1326
  • [7] Clocked lambda calculus
    Endrullis, Jorg
    Hendriks, Dimitri
    Klop, Jan Willem
    Polonsky, Andrew
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017, 27 (05) : 782 - 806
  • [8] The algebraic lambda calculus
    Vaux, Lionel
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2009, 19 (05) : 1029 - 1059
  • [9] Objects and their lambda calculus
    Tzouvaras, A
    THEORETICAL COMPUTER SCIENCE, 2001, 258 (1-2) : 209 - 232
  • [10] The lambda calculus is algebraic
    Selinger, P
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2002, 12 : 549 - 566
12345