nLab Masahito Hasegawa

webpage

Selected writings

On fixed point operators:

Masahito Hasegawa: Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi, in: Typed Lambda Calculi and Applications, TLCA 1997, Lecture Notes in Computer Science 1210, Springer (1997)[doi:10.1007/3-540-62688-3_37, pdf]

Related entries

traced monoidal category

category: people

Last revised on September 29, 2026 at 08:53:27. See the history of this page for a list of all contributions to it.