Masahito Hasegawa | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

research

∙ 11/20/2022

The Internal Operads of Combinatory Algebras

We argue that operads provide a general framework for dealing with polyn...

0 Masahito Hasegawa, et al. ∙

research

∙ 12/30/2021

A Braided Lambda Calculus

We present an untyped linear lambda calculus with braids, the correspond...

0 Masahito Hasegawa, et al. ∙

research

∙ 04/15/2019

From Linear Logic to Cyclic Sharing

We present a translation from Multiplicative Exponential Linear Logic to...

0 Masahito Hasegawa, et al. ∙