Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages. - Masahito Hasegawa (Category Theory and Computer Science, 1995)

From Action Calculi to Linear Logic. - Andrew G. Barber; Philippa Gardner; Masahito Hasegawa; Gordon D. Plotkin (CSL, 1997)

Types and Models for Higher-Order Action Calculi. - Philippa Gardner; Masahito Hasegawa (TACS, 1997)

Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi. - Masahito Hasegawa (TLCA, 1997)

Models of sharing graphs : a categorical semantics of let and letrec. - Masahito Hasegawa (1997)

Logical Predicates for Intuitionistic Linear Type Theories. - Masahito Hasegawa (TLCA, 1999)

Girard translation and logical predicates. - Masahito Hasegawa (J. Funct. Program., 2000)

Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. - Masahito Hasegawa (APLAS, 2001)

The Uniformity Principle on Traced Monoidal Categories. - Masahito Hasegawa (CTCS, 2002)

Axioms for Recursion in Call-by-Value. - Masahito Hasegawa; Yoshihiko Kakutani (High. Order Symb. Comput., 2002)

A sound and complete axiomatization of delimited continuations. - Yukiyoshi Kameyama; Masahito Hasegawa (ICFP, 2003)

Semantics of Linear Continuation-Passing in Call-by-Name. - Masahito Hasegawa (FLOPS, 2004)

Parameterizations and Fixed-Point Operators on Control Categories. - Yoshihiko Kakutani; Masahito Hasegawa (Fundam. Informaticae, 2005)

Classical linear logic of implications. - Masahito Hasegawa (Math. Struct. Comput. Sci., 2005)

A Terminating and Confluent Linear Lambda Calculus. - Yo Ohta; Masahito Hasegawa (RTA, 2006)

Relational Parametricity and Control. - Masahito Hasegawa (Log. Methods Comput. Sci., 2006)

Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. - Masahito Hasegawa; Martin Hofmann 001; Gordon D. Plotkin (Pillars of Computer Science, 2008)

Small-step and big-step semantics for call-by-need. - Keiko Nakata 001; Masahito Hasegawa (J. Funct. Program., 2009)

On traced monoidal closed categories. - Masahito Hasegawa (Math. Struct. Comput. Sci., 2009)

Bialgebras in Rel. - Masahito Hasegawa (MFPS, 2010)

A quantum double construction in Rel. - Masahito Hasegawa (Math. Struct. Comput. Sci., 2012)

Linear Exponential Comonads without Symmetry. - Masahito Hasegawa (LINEARITY, 2016)

From Linear Logic to Cyclic Sharing. - Masahito Hasegawa (Linearity-TLLA@FLoC, 2018)

Diagrammatic methods for linear and nonlinear systems (NII Shonan Meeting 2018-18). - Dan R. Ghica; Masahito Hasegawa; Pawel Sobocinski 002 (NII Shonan Meet. Rep., 2018)

A Braided Lambda Calculus. - Masahito Hasegawa (Linearity&TLLA@IJCAR-FSCD, 2020)

A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part I. - Masahito Hasegawa; Stephen Lack; Guy McCusker (Math. Struct. Comput. Sci., 2021)

The Internal Operads of Combinatory Algebras. - Masahito Hasegawa (MFPS, 2022)

A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part II. - Masahito Hasegawa; Stephen Lack; Guy McCusker (Math. Struct. Comput. Sci., 2022)

Traced Monads and Hopf Monads. - Masahito Hasegawa; Jean-Simon Pacaud Lemay (Compositionality, 2023)

Braids, Twists, Trace and Duality in Combinatory Algebras. - Masahito Hasegawa; Serge Lechenne (LICS, 2024)