A Braided Lambda Calculus
Logic in Computer Science
2022-01-03 v1 Programming Languages
Abstract
We present an untyped linear lambda calculus with braids, the corresponding combinatory logic, and the semantic models given by crossed G-sets.
Keywords
Cite
@article{arxiv.2112.14965,
title = {A Braided Lambda Calculus},
author = {Masahito Hasegawa},
journal= {arXiv preprint arXiv:2112.14965},
year = {2022}
}
Comments
In Proceedings Linearity&TLLA 2020, arXiv:2112.14305