2000 character limit reached
A Braided Lambda Calculus (2112.14965v1)
Published 30 Dec 2021 in cs.LO and cs.PL
Abstract: We present an untyped linear lambda calculus with braids, the corresponding combinatory logic, and the semantic models given by crossed G-sets.