15 citations · 29 across the 9 of their papers we have counts for
5 papers · 1 filter
Braids, twists, trace and duality in combinatory algebras
Masahito Hasegawa, Serge Lechenne
We investigate a class of combinatory algebras, called ribbon combinatory algebras, in which we can interpret both the braided untyped linear lambda calculus and framed oriented ta…
The Internal Operads of Combinatory Algebras
Masahito Hasegawa
We argue that operads provide a general framework for dealing with polynomials and combinatory completeness of combinatory algebras, including the classical -algebras,…
A Braided Lambda Calculus
Masahito Hasegawa
We present an untyped linear lambda calculus with braids, the corresponding combinatory logic, and the semantic models given by crossed G-sets.
From Linear Logic to Cyclic Sharing
Masahito Hasegawa
We present a translation from Multiplicative Exponential Linear Logic to a simply-typed lambda calculus with cyclic sharing. This translation is derived from a simple observation o…
Linear Exponential Comonads without Symmetry
Masahito Hasegawa
The notion of linear exponential comonads on symmetric monoidal categories has been used for modelling the exponential modality of linear logic. In this paper we introduce linear e…