A Braided Lambda Calculus
arXiv:2112.14965 · doi:10.4204/EPTCS.353.5
Abstract
We present an untyped linear lambda calculus with braids, the corresponding combinatory logic, and the semantic models given by crossed G-sets.
In Proceedings Linearity&TLLA 2020, arXiv:2112.14305