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 条
  • [41] Lambda calculus as a workflow model
    Kelly, Peter M.
    Coddington, Paul D.
    Wendelborn, Andrew L.
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2009, 21 (16): : 1999 - 2017
  • [42] Lambda Calculus and Probabilistic Computation
    Faggian, Claudia
    della Rocca, Simona Ronchi
    2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
  • [43] Lambda-calculus schemata
    1600, (06): : 3 - 4
  • [44] Matching for the lambda calculus of objects
    Bono, V
    Bugliesi, M
    THEORETICAL COMPUTER SCIENCE, 1999, 212 (1-2) : 101 - 140
  • [45] Partial evaluation for the lambda calculus
    Jones, ND
    Gomard, CK
    Sestoft, P
    PARTIAL EVALUATION: PRACTICE AND THEORY, 1999, 1706 : 203 - 220
  • [46] Lambda-calculus with constructors
    Arbiser, Ariel
    Miquel, Alexandre
    Rios, Alejandro
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 181 - 196
  • [47] A Nominal Axiomatization of the Lambda Calculus
    Gabbay, Murdoch J.
    Mathijssen, Aad
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (02) : 501 - 531
  • [48] The calculus of dependent lambda eliminations
    Stump, Aaron
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2017, 27
  • [49] A concurrent lambda calculus with futures
    Niehren, J.
    Schwinghammer, J.
    Smolka, G.
    THEORETICAL COMPUTER SCIENCE, 2006, 364 (03) : 338 - 356
  • [50] ALGEBRA AND THE LAMBDA-CALCULUS
    JAFFER, A
    DR DOBBS JOURNAL, 1993, 18 (09): : 36 - &
12345