Masahito Hasegawa

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