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 条
  • [31] Lambda Calculus with Regular Types
    Dundua, Besik
    Florido, Mario
    Kutsia, Temur
    2015 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), 2016, : 129 - 136
  • [32] Algorithms, The lambda Calculus and Programming
    Vichare, Abhijat
    RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2013, 18 (04): : 345 - 367
  • [33] Term Rewriting and Lambda Calculus
    Klop, Jan Willem
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 12 - 12
  • [34] On the algebraic models of lambda calculus
    Salibra, A
    THEORETICAL COMPUTER SCIENCE, 2000, 249 (01) : 197 - 240
  • [35] Lambda calculus with explicit recursion
    Ariola, ZM
    Klop, JW
    INFORMATION AND COMPUTATION, 1997, 139 (02) : 154 - 233
  • [36] Continuity and discontinuity in lambda calculus
    Severi, P
    de Vries, FJ
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 369 - 385
  • [37] Topology in lambda calculus (I)
    Ying, MS
    NEW TECHNOLOGIES ON COMPUTER SOFTWARE, 1997, : 1 - 5
  • [38] Weak linearization of the lambda calculus
    Alves, S
    Florido, M
    THEORETICAL COMPUTER SCIENCE, 2005, 342 (01) : 79 - 103
  • [39] Nonmodularity results for lambda calculus
    Salibra, A
    FUNDAMENTA INFORMATICAE, 2001, 45 (04) : 379 - 392
  • [40] Boolean algebras for lambda calculus
    Manzonettoto, G.
    Salibra, A.
    21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2006, : 317 - +
12345