Masahito Hasegawa
Orcid: 0000-0003-3460-8615Affiliations:
- Kyoto University, Japan
According to our database1,
Masahito Hasegawa
authored at least 29 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
1
1
1
1
2
1
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
2022
A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part II.
Math. Struct. Comput. Sci., April, 2022
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.
Math. Struct. Comput. Sci., 2021
2020
Proceedings of the Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2020
2018
NII Shonan Meet. Rep., 2018
Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018
2016
Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016
2012
2010
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010
2009
2008
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories.
Proceedings of the Pillars of Computer Science, 2008
2006
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006
2005
Fundam. Informaticae, 2005
2004
Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004
2003
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003
2002
Proceedings of the Category Theory and Computer Science, 2002
2001
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001
2000
1999
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999
1997
PhD thesis, 1997
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi.
Proceedings of the Typed Lambda Calculi and Applications, 1997
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
Proceedings of the Computer Science Logic, 11th International Workshop, 1997
1995
Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages.
Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995