Masahito Hasegawa

According to our database, Masahito Hasegawa authored at least 28 papers between 1995 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., April, 2022

The Internal Operads of Combinatory Algebras.

Masahito Hasegawa

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

2021

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

2020

A Braided Lambda Calculus.

Masahito Hasegawa

Proceedings of the Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2020

2018

Diagrammatic methods for linear and nonlinear systems (NII Shonan Meeting 2018-18).

Dan R. Ghica, Masahito Hasegawa, Pawel Sobocinski

NII Shonan Meet. Rep., 2018

From Linear Logic to Cyclic Sharing.

Masahito Hasegawa

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

2016

Linear Exponential Comonads without Symmetry.

Masahito Hasegawa

Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016

2012

A quantum double construction in Rel.

Masahito Hasegawa

Math. Struct. Comput. Sci., 2012

2010

Bialgebras in Rel.

Masahito Hasegawa

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

2009

On traced monoidal closed categories.

Masahito Hasegawa

Math. Struct. Comput. Sci., 2009

Small-step and big-step semantics for call-by-need.

Keiko Nakata, Masahito Hasegawa

J. Funct. Program., 2009

2008

Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories.

Masahito Hasegawa, Martin Hofmann, Gordon D. Plotkin

Proceedings of the Pillars of Computer Science, 2008

2006

Relational Parametricity and Control.

Masahito Hasegawa

Log. Methods Comput. Sci., 2006

A Terminating and Confluent Linear Lambda Calculus.

Yo Ohta, Masahito Hasegawa

Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

2005

Classical linear logic of implications.

Masahito Hasegawa

Math. Struct. Comput. Sci., 2005

Parameterizations and Fixed-Point Operators on Control Categories.

Yoshihiko Kakutani, Masahito Hasegawa

Fundam. Informaticae, 2005

2004

Semantics of Linear Continuation-Passing in Call-by-Name.

Masahito Hasegawa

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003

A sound and complete axiomatization of delimited continuations.

Yukiyoshi Kameyama, Masahito Hasegawa

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Axioms for Recursion in Call-by-Value.

Masahito Hasegawa, Yoshihiko Kakutani

High. Order Symb. Comput., 2002

The Uniformity Principle on Traced Monoidal Categories.

Masahito Hasegawa

Proceedings of the Category Theory and Computer Science, 2002

2001

Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.

Masahito Hasegawa

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Girard translation and logical predicates.

Masahito Hasegawa

J. Funct. Program., 2000

1999

Logical Predicates for Intuitionistic Linear Type Theories.

Masahito Hasegawa

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

1997

Models of sharing graphs : a categorical semantics of let and letrec.

Masahito Hasegawa

PhD thesis, 1997

Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi.

Masahito Hasegawa

Proceedings of the Typed Lambda Calculi and Applications, 1997

Types and Models for Higher-Order Action Calculi.

Philippa Gardner, Masahito Hasegawa

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

From Action Calculi to Linear Logic.

Andrew G. Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1995

Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages.

Masahito Hasegawa

Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995