research
∙
11/20/2022
The Internal Operads of Combinatory Algebras
We argue that operads provide a general framework for dealing with polyn...
research
∙
12/30/2021
A Braided Lambda Calculus
We present an untyped linear lambda calculus with braids, the correspond...
research
∙
04/15/2019