Masahito Hasegawa

Last updated: Aug 7, 2014 at 02:55
Masahito Hasegawa
Kyoto University
Research Institute for Mathematical Sciences
Job title
Research funding number

Awards & Honors

Apr 2001
ETAPS2001 Best Theoretical Paper Award, European Association for Theoretical Computer Science
Winner: Masahito Hasegawa, Yoshihiko Kakutani
Nov 1999
Distinguished Dissertations Award, British Computer Society

Published Papers

Axioms for recursion in call-by-value (extended abstract)
Masahito Hasegawa, Yoshihiko Kakutani
Lecture Notes in Computer Science   2030 246-260   Apr 2001   [Refereed]
Philippa Gardner, Masahito Hasegawa
Lecture Notes in Computer Science   1281 583-603   Sep 1997   [Refereed]
Masahito Hasegawa
Lecture Notes in Computer Science   953 200-219   Aug 1995   [Refereed]
Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi
Hasegawa, M; deGroote, P; Hindley, JR
TYPED LAMBDA CALCULI AND APPLICATIONS   1210 196-213   1997   [Refereed]
From action calculi to linear logic
Barber, A; Gardner, P; Hasegawa, M; Plotkin, G; Nielsen, M; Thomas, W
COMPUTER SCIENCE LOGIC   1414 78-97   1998   [Refereed]


Classical linear logic of implications
Hasegawa, M; Bradfield, JC
COMPUTER SCIENCE LOGIC, PROCEEDINGS   2471 458-472   2002   [Refereed]
Parameterizations and fixed-point operators on control categories
Y. Kakutani; M. Hasegawa
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   2701 180-194   2003   [Refereed]
M. Hasegawa
Proceedings - Symposium on Logic in Computer Science   72-81   2005   [Refereed]
A terminating and confluent linear lambda calculus
Y. Ohta; M. Hasegawa
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   4098 166-180   2006   [Refereed]
M. Hasegawa; S.-Y. Katsumata
Mathematical Proceedings of the Cambridge Philosophical Society   148 107-109   Jan 2010   [Refereed]

Books etc

Models of Sharing Graphs : A Categorical Semantics of Let and Letrec
長谷川 真人
Distinguished Dissertation Series, Springer-Verlag   1999   
Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Springer-Verlag   2013