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

共 21 条

[1]

BELLAICHE A, 1996, PROGR MATH, V0144, P00004

[2]

Buliga M., COMPUTING SPACE TANG

[3]

Buliga M., LAMBDA SCALE LAMBDA

[4]

Buliga M., 2013, ORIENTED REIDEMEISTE

[5]

Buliga M., EMERGENT ALGEBRAS

[6]

Buliga M., 2007, J GEN LIE THEORY APP, V1, P65

[7]

Buliga M, 2011, GEOMETRY, P21

[8]

Citrin W., 1995, Proceedings. 11th IEEE International Symposium on Visual Languages (Cat. No.95TB8105), P294, DOI 10.1109/VL.1995.520822

[9] Abstract syntax and semantics of visual languages [J].

Erwig, M .

JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1998, 9 (05) :461-483

[10]

Fenn R., 1992, J KNOT THEOR RAMIF, V1, P343

← 1 2 3 →