15 citations · 29 across the 9 of their papers we have counts for
9 papers
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…
Hopf Monads on Biproducts
Masahito Hasegawa, Jean-Simon Pacaud Lemay
A Hopf monad, in the sense of Bruguières, Lack, and Virelizier, is a special kind of monad that can be defined for any monoidal category. In this note, we study Hopf monads in the…
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,…
Traced Monads and Hopf Monads
Masahito Hasegawa, Jean-Simon Pacaud Lemay
A traced monad is a monad on a traced symmetric monoidal category that lifts the traced symmetric monoidal structure to its Eilenberg-Moore category. A long-standing question has b…
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…