A Braided Lambda Calculus

12/30/2021

∙

by   Masahito Hasegawa, et al.

∙

0

∙

share

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