"Hassei" = Masahito Hasegawa's Research          

Research Interests

[ List of publications from DBLP | AMS MathSciNet ]

Publications (Refereed Conference/Journal Papers)

1. M. Hasegawa and J.-S. Lemay, Traced monads and Hopf monads.
   Compositionality 5(10), October 2023.
   [doi] [pdf file]

2. M. Hasegawa and J.-S. Lemay, Hopf monads on biproducts.
   Theory and Applications of Categories 39(28):804-823, September 2023.
   [information] [pdf file]

3. M. Hasegawa, The internal operads of combinatory algebras.
   In Proc. 38th International Conference on Mathematical Foundations of Programming Semantics (MFPS XXXVIII), July 2022, Ithaca, NY.
   Electronic Notes in Theoretical Informatics and Computer Science vol. 1, February 2023.
   [doi] [pdf file] [correction] [draft on planar lambda algebras (Dec. 2023)]

4. M. Hasegawa, A braided lambda calculus.
   In Proc. 2nd Joint International Workshop on Linearity & Trends in Linear Logic and Applications (Linearity-TLLA 2020), June 2020, online.
   Electronic Proceedings in Theoretical Computer Science 353, pages 94-108, December 2021.
   [doi] [pdf file]

5. M. Hasegawa, From linear logic to cyclic sharing.
   In Proc. Joint International Workshop on Linearity & Trends in Linear Logic and Applications (Linearity-TLLA 2018), July 2018, Oxford.
   Electronic Proceedings in Theoretical Computer Science 292,pages 31-42, April 2019.
   [doi] [pdf file]

6. M. Hasegawa and J.-S. Lemay, Linear distributivity with negation, star-autonomy, and Hopf monads.
   Theory and Applications of Categories 33(37):1145-1157, November 2018.
   [information] [pdf file]

7. M. Hasegawa, Linear exponential comonads without symmetry.
   In Proc. Fourth International Workshop on Linearity (Linearity'16), June 2016, Porto.
   Electronic Proceedings in Theoretical Computer Science 238,pages 54-63, January 2017.
   [doi] [pdf file]

8. T. Hajgato and M. Hasegawa, Traced *-autonomous categories are compact closed.
   Theory and Applications of Categories 28(7):206-212, April 2013.
   [information] [pdf file]

9. M. Hasegawa, A quantum double construction in Rel.
   Mathematical Structures in Computer Science 22(4):618-650, August 2012 (published online on 18 May 2012).
   A revised and expanded version of the MFPS2010 paper below.
   [doi] [pdf file] © 2012 Cambridge University Press

10. M. Hasegawa, Bialgebras in Rel.
    In Proc. 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVI), May 2010, Ottawa.
    Electronic Notes in Theoretical Computer Science 265, pages 337-359, September 2010.
    [doi] [pdf file (ver. 25 June 2010)] [slides (pdf file)]

11. M. Hasegawa and S. Katsumata, A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories.
    Mathematical Proceedings of the Cambridge Philosophical Society, 148(1): 107-109, January 2010 (published online on 5 May 2009).
    [doi] [pdf file] © 2009 Cambridge Philosophical Society

12. K. Nakata and M. Hasegawa, Small-step and big-step semantics for call-by-need.
    Journal of Functional Programming 19(6): 699-722, November 2009 (published online on 7 September 2009).
    [doi] [pdf file] © 2009 Cambridge University Press
    [extended version at ArXiv]

13. M. Hasegawa, On traced monoidal closed categories.
    Mathematical Structures in Computer Science 19(2):217-244, April 2009 (published online on 27 October 2008).
    Based on a talk given at TMCNAA.
    [doi] [pdf file] © 2008 Cambridge University Press

14. M. Hasegawa, M. Hofmann and G. Plotkin, Finite dimensional vector spaces are complete for traced symmetric monoidal categories.
    In Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer LNCS 4800, pages 367-385, February 2008.
    [doi] [pdf file] © Springer-Verlag 2008

15. J.R.B. Cockett, M. Hasegawa and R.A.G. Seely, Coherence of the double involution on *-autonomous categories.
    Theory and Applications of Categories 17(2):17-29, December 2006.
    [information] [pdf file]

16. M. Hasegawa, Relational parametricity and control.
    Logical Methods in Computer Science 2(3:3):1-22, July 2006.
    Revised and Extended version of the LICS'05 paper.
    [doi]

17. Y. Ohta and M. Hasegawa, A terminating and confluent linear lambda calculus.
    In Proc. 17th International Conference on Rewriting Techniques and Applications (RTA'06), Seattle.
    Springer LNCS 4098, pages 166-180, August 2006.
    [information] [pdf file] © Springer-Verlag 2006

18. M. Hasegawa, Relational parametricity and control (extended abstract).
    In Proc. 20th Annual IEEE Symposium on Logic in Computer Science (LICS2005), Chicago.
    IEEE Computer Society, pages 72-81, June 2005.
    [information] [pdf file]

19. M. Hasegawa, Classical linear logic of implications.
    Mathematical Structures in Computer Science 15(2):323-342, April 2005.
    Extended version of the CSL'02 paper.
    [doi] [pdf file (ver. June 2004)]

20. Y. Kakutani and M. Hasegawa, Parameterizations and fixed-point operators on control categories.
    Fundamenta Informaticae 65(1-2): 153-172, March 2005.
    Journal version of the TLCA'03 paper.
    [information] IOS Press

21. M. Hasegawa, The uniformity principle on traced monoidal categories.
    Publications of the Research Institute for Mathematical Sciences 40(3): 991-1014, September 2004.
    Extended version of the CTCS'02 paper.
    [doi] [pdf file]

22. M. Hasegawa, Semantics of linear continuation-passing in call-by-name.
    In Proc. 7th International Symposium on Functional and Logic Programming (FLOPS2004), Nara.
    Springer LNCS 2998, pages 229-243, April 2004.
    [information] [pdf file] © Springer-Verlag 2004

23. Y. Kameyama and M. Hasegawa, A sound and complete axiomatization of delimited continuations.
    In Proc. 8th ACM SIGPLAN International Conference on Functional Programming (ICFP 2003), Uppsala.
    ACM Press, pages 177-188, August 2003.
    [information] [pdf file] © ACM 2003

24. Y. Kakutani and M. Hasegawa, Parameterizations and fixed-point operators on control categories.
    In Proc. 6th International Conference on Typed Lambda Calculi and Applications (TLCA'03), Valencia.
    Springer LNCS 2701, pages 180-194, June 2003.
    [information] [pdf file] © Springer-Verlag 2003

25. M. Hasegawa, The uniformity principle on traced monoidal categories.
    In Proc. International Conference on Category Theory and Computer Science (CTCS'02), Ottawa, August 2002.
    Electronic Notes in Theoretical Computer Science 69, pages 137-155, February 2003.
    [information] [gzipped ps file] [pdf file] [pictures from CTCS'02]

26. M. Hasegawa, Classical linear logic of implications.
    In Proc. 11th Annual Conference of the European Association for Computer Science Logic (CSL'02), Edinburgh.
    Springer LNCS 2471, pages 458-472, September 2002.
    [information] [slides] [gzipped ps file] [pdf file] © Springer-Verlag 2002

27. M. Hasegawa, Linearly used effects: monadic and CPS transformations into the linear lambda calculus.
    In Proc. 6th International Symposium on Functional and Logic Programming (FLOPS2002), Aizu.
    Springer LNCS 2441, pages 167-182, September 2002.
    [information] [gzipped ps file] [pdf file] © Springer-Verlag 2002

28. M. Hasegawa and Y. Kakutani, Axioms for recursion in call-by-value.
    Higher-Order and Symbolic Computation 15(2/3):235-264, September 2002.
    Extended version of the FoSSaCS2001 paper.
    [information] [gzipped ps file] [pdf file] © 2002 Kluwer Academic Publishers

29. M. Hasegawa and Y. Kakutani, Axioms for recursion in call-by-value (extended abstract).
    In Proc. 4th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2001), Genova.
    Springer LNCS 2030, pages 246-260, April 2001. (Here is a picture associated to this paper.)
    Old Version: Preprint RIMS-1288, Kyoto University, July 2000.
    [information] [gzipped ps file] [pdf file] © Springer-Verlag 2001
    For an extended version, see above.

30. M. Hasegawa, Girard translation and logical predicates.
    Journal of Functional Programming 10(1): 77-89, January 2000.
    [information] [gzipped ps file] [pdf file]

31. M. Hasegawa, Logical predicates for intuitionistic linear type theories.
    In Proc. 4th International Conference on Typed Lambda Calculi and Applications (TLCA'99), L'Aquila.
    Springer LNCS 1581, pages 198-213, April 1999.
    [information] [gzipped ps file] [pdf file] © Springer-Verlag 1999

32. A. Barber, P. Gardner, M. Hasegawa and G. Plotkin, From action calculi to linear logic.
    In Annual Conference of the European Association for Computer Science Logic (CSL'97), Aarhus, August 1997, Selected Papers.
    Springer LNCS 1414, pages 78-97, 1998.
    [information] [gzipped ps file] [pdf file]

33. P. Gardner and M. Hasegawa, Types and models for higher-order action calculi.
    In Proc. 3rd International Symposium on Theoretical Aspects of Computer Software (TACS'97), Sendai.
    Springer LNCS 1281, pages 583-603, September 1997.
    [information] [gzipped ps file] [pdf file]

34. M. Hasegawa, Recursion from cyclic sharing: traced monoidal categories and models of cyclic lambda calculi.
    In Proc. 3rd International Conference on Typed Lambda Calculi and Applications (TLCA'97), Nancy.
    Springer LNCS 1210, pages 196-213, April 1997.
    [information] [gzipped ps file] [pdf file]

35. M. Hasegawa, Decomposing typed lambda calculus into a couple of categorical programming languages.
    In Proc. 6th International Conference on Category Theory and Computer Science (CTCS'95), Cambridge.
    Springer LNCS 953, pages 200-219, August 1995.
    [information] [gzipped ps file] [pdf file]

PhD Thesis (Book)

• M. Hasegawa, Models of Sharing Graphs: A Categorical Semantics of let and letrec.
  PhD thesis, University of Edinburgh (examined on 12th June 1997)/
  ISBN 1-85233-145-3, Springer-Verlag (a volume of Distinguished Dissertation Series), June 1999.
  [information] [preface, table of contents and introduction (pdf file)]
  Original PhD thesis is available as a technical report ECS-LFCS-97-360, University of Edinburgh, 1997.
  [information] [pdf file]
  

MSc Thesis

• M. Hasegawa, Contextual Calculus, Cartesian Categories and Categorical Data Types.
  MSc thesis, Kyoto University, January 1994.
  See "Decomposing typed lambda calculus into a couple of categorical programming languages".

Manuscripts and Slides

• M. Hasegawa, On traced monoidal closed categories.
  Invited talk at TMCNAA, July 2007.
  [slides (pdf file)]
  A paper based on this talk has appeared in MSCS.

• M. Hasegawa, Recursive programs in the abstract.
  Talk at PPL2004, March 2004.
  [abstract (pdf file)] [slides (pdf file)]

• M. Hasegawa, {->,-o} is full in {!,-o}.
  Proof of a result used in "Linearly used effects" (FLOPS2002). Mostly a straightforward reworking of the JFP paper on Girard's translation. January 2002.
  [manuscript (pdf file)]

• M. Hasegawa, Glueing algebraic structures on a 2-category.
  Working draft, April 2000 (slightly updated on February 2002).
  [gzipped ps file] [pdf file]

• M. Hasegawa, Categorical glueing and logical predicates for models of linear logic.
  Preprint RIMS-1223, Kyoto University, January 1999.
  [gzipped ps file] [pdf file]
  The conference version is in Proc. TLCA'99.

• A short proof of the uniqueness of trace on tortile categories, July 2000.
  [gif image file]

ALGI-13 Proceedings

Articles and Books in Japanese

• M. Hasegawa, Program semantics and category theory
  (長谷川真人「プログラム意味論と圏論 / 計算の「不変量」を圏論で捉える」).
  数学セミナー No. 601: 92-98, November 2011.
  

• M. Hasegawa, Program semantics and topology - recursion, interaction, knots -
  (長谷川真人「プログラム意味論とトポロジー - 再帰, 相互作用, 結び目 -).
  日本数学会２０１０年度秋季総合分科会企画特別講演アブストラクト, September 2010.
  [pdf file]

• M. Hasegawa, Computer science and knot invariants
  (長谷川真人「計算機科学と結び目不変量」).
  数理科学 No. 556: 54-55, October 2009.
  

• M. Hasegawa, On semantics of recursive programs
  (長谷川真人「再帰プログラムの意味論について」).
  数学 59(2): 180-191, April 2007.
  [doi] [pdf file]

• M. Hasegawa, On New Year's Eve
  (長谷川真人「大晦日の草稿」).
  コンピュータソフトウェア 17(1): 15-18, January 2000.
  [doi] [pdf file]

• M. Tanabe, R. Nakajima and M. Hasegawa, Introduction to Computer Science: Logic and Program Semantics
  (田辺誠、中島玲二、長谷川真人 「コンピュータサイエンス入門：論理とプログラム意味論」).
  岩波書店, September 1999.
  [情報]

• M. Hasegawa, Semantics of recursive programs and traced monoidal categories
  (長谷川真人 「再帰的プログラムの意味論とトレース付きモノイダルカテゴリ」).
  コンピュータソフトウェア 16(2): 62-66, March 1999.
  [doi] [pdf file]

• M. Hasegawa, Models of recursive programs and invariants of links
  (長谷川真人 「再帰的プログラムの意味論と絡み目の不変量」).
  In Proc. JSSST'98, Univ. Electro-Communications, Tokyo, pages 193-196, September 1998.
  [pdf file]

Pointers to People, Places, and other Sources