Masahito Hasegawa

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 9

Top Venues

CoRR

Math. Struct. Comput. Sci.

LICS

Linearity-TLLA@FLoC

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Masahito Hasegawa, Serge Lechenne
Braids, twists, trace and duality in combinatory algebras. CoRR (2024)
Masahito Hasegawa, Serge Lechenne
Braids, Twists, Trace and Duality in Combinatory Algebras. LICS (2024)
Masahito Hasegawa
The Internal Operads of Combinatory Algebras. CoRR (2022)
Masahito Hasegawa, Stephen Lack, Guy McCusker
A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part II. Math. Struct. Comput. Sci. 32 (4) (2022)
Masahito Hasegawa
A Braided Lambda Calculus. CoRR (2021)
Masahito Hasegawa, Stephen Lack, Guy McCusker
A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part I. Math. Struct. Comput. Sci. 31 (7) (2021)
Dan R. Ghica, Masahito Hasegawa, Pawel Sobocinski
Diagrammatic methods for linear and nonlinear systems (NII Shonan Meeting 2018-18). NII Shonan Meet. Rep. 2018 (2018)
Masahito Hasegawa
From Linear Logic to Cyclic Sharing. Linearity-TLLA@FLoC (2018)
Masahito Hasegawa
Linear Exponential Comonads without Symmetry. LINEARITY (2016)
Masahito Hasegawa
A quantum double construction in Rel. Math. Struct. Comput. Sci. 22 (4) (2012)
Masahito Hasegawa
Bialgebras in Rel. MFPS (2010)
Keiko Nakata, Masahito Hasegawa
Small-step and big-step semantics for call-by-need. J. Funct. Program. 19 (6) (2009)
Keiko Nakata, Masahito Hasegawa
Small-step and big-step semantics for call-by-need CoRR (2009)
Masahito Hasegawa
On traced monoidal closed categories. Math. Struct. Comput. Sci. 19 (2) (2009)
Masahito Hasegawa, Martin Hofmann, Gordon D. Plotkin
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. Pillars of Computer Science (2008)
Masahito Hasegawa
Relational Parametricity and Control. Log. Methods Comput. Sci. 2 (3) (2006)
Yo Ohta, Masahito Hasegawa
A Terminating and Confluent Linear Lambda Calculus. RTA (2006)
Masahito Hasegawa
Relational Parametricity and Control CoRR (2006)
Yoshihiko Kakutani, Masahito Hasegawa
Parameterizations and Fixed-Point Operators on Control Categories. Fundam. Informaticae 65 (1-2) (2005)
Masahito Hasegawa
Relational Parametricity and Control. LICS (2005)
Masahito Hasegawa
Classical linear logic of implications. Math. Struct. Comput. Sci. 15 (2) (2005)
Masahito Hasegawa
Semantics of Linear Continuation-Passing in Call-by-Name. FLOPS (2004)
Yoshihiko Kakutani, Masahito Hasegawa
Parameterizations and Fixed-Point Operators on Control Categories. TLCA (2003)
Yukiyoshi Kameyama, Masahito Hasegawa
A sound and complete axiomatization of delimited continuations. SIGPLAN Notices (2003)
Yukiyoshi Kameyama, Masahito Hasegawa
A sound and complete axiomatization of delimited continuations. ICFP (2003)
Masahito Hasegawa, Yoshihiko Kakutani
Axioms for Recursion in Call-by-Value. High. Order Symb. Comput. 15 (2-3) (2002)
Masahito Hasegawa
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. FLOPS (2002)
Masahito Hasegawa
Classical Linear Logic of Implications. CSL (2002)
Masahito Hasegawa
The Uniformity Principle on Traced Monoidal Categories. CTCS (2002)
Masahito Hasegawa, Yoshihiko Kakutani
Axioms for Recursion in Call-by-Value. FoSSaCS (2001)
Masahito Hasegawa
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. APLAS (2001)
Masahito Hasegawa
Girard translation and logical predicates. J. Funct. Program. 10 (1) (2000)
Masahito Hasegawa
Logical Predicates for Intuitionistic Linear Type Theories. TLCA (1999)
Masahito Hasegawa
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi. TLCA (1997)
Philippa Gardner, Masahito Hasegawa
Types and Models for Higher-Order Action Calculi. TACS (1997)
Andrew G. Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin
From Action Calculi to Linear Logic. CSL (1997)
Masahito Hasegawa
Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages. Category Theory and Computer Science (1995)

Masahito Hasegawa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Masahito Hasegawa