A Braided Lambda Calculus

被引：2

作者：

Hasegawa, Masahito ^{[1
]}

机构：

[1] Kyoto Univ, Res Inst Math Sci, Kyoto, Japan

来源：

关键词：

D O I：

10.4204/EPTCS.353.5

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We present an untyped linear lambda calculus with braids, the corresponding combinatory logic, and the semantic models given by crossed G-sets.

引用

页码：94 / 108

页数：15

共 18 条

[1]

Abadi M., 1991, Journal of Functional Programming, V1, P375, DOI 10.1017/S0956796800000186

[2]

Abramsky S., 2007, MATH QUANTUM COMPUTI, P415

[3] THEORY OF BRAIDS [J].

ARTIN, E .

[4]

Artin E., 1925, ABH MATH SEM HAMBURG, V4, P47

[5]

Dodane O., 2008, Braid Groups, DOI [DOI 10.1007/978-0-387-68548-9, 10.1007/978-0-387-68548-9.]

[6]

Fleury A., 2003, MAT CONT, V24, P39

[7] A quantum double construction in Rel [J].

Hasegawa, Masafiito .

[8] On traced monoidal closed categories [J].

Hasegawa, Masahito .

[9] BRAIDED TENSOR CATEGORIES [J].

JOYAL, A ;

STREET, R .

[10] Fault-tolerant quantum computation by anyons [J].

Kitaev, AY .