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