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