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 条
[11]   Contractible Lie groups over local fields [J].
Gloecker, Helge .
MATHEMATISCHE ZEITSCHRIFT, 2008, 260 (04) :889-904
[12]  
Gromov M., 1996, SUBRIEMANNIAN GEOMET, V144, P79
[13]   A CLASSIFYING INVARIANT OF KNOTS, THE KNOT QUANDLE [J].
JOYCE, D .
JOURNAL OF PURE AND APPLIED ALGEBRA, 1982, 23 (01) :37-65
[14]  
Keenan D. C., 2013, DISSECT MOCKINGBIRD
[15]   THE BRAIN A GEOMETRY ENGINE [J].
KOENDERINK, JJ .
PSYCHOLOGICAL RESEARCH-PSYCHOLOGISCHE FORSCHUNG, 1990, 52 (2-3) :122-127
[16]  
Meredith L. G., KNOTS PROCESSES NEW
[17]   CARNOT-CARATHEODORY METRICS AND QUASIISOMETRIES OF SYMMETRIC SPACES OF RANK-1 [J].
PANSU, P .
ANNALS OF MATHEMATICS, 1989, 129 (01) :1-60
[18]  
Polyak M., MINIMAL GENERATING S
[19]   CONTRACTIVE AUTOMORPHISMS ON LOCALLY COMPACT-GROUPS [J].
SIEBERT, E .
MATHEMATISCHE ZEITSCHRIFT, 1986, 191 (01) :73-90
[20]  
Thurston D. P., ALGEBRA KNOTTED TRIV
123