Masahito Hasegawa

J-GLOBAL         Last updated: Jun 19, 2018 at 17:18
 
Avatar
Name
Masahito Hasegawa
E-mail
hasseikurims.kyoto-u.ac.jp
URL
http://www.kurims.kyoto-u.ac.jp/~hassei/
Affiliation
Kyoto University
Section
Research Institute for Mathematical Sciences
Job title
Professor
Degree
Ph.D.
Research funding number
50293973

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

 
Linear Exponential Comonads without Symmetry
Masahito Hasegawa
Electronic Proceedings in Theoretical Computer Science   238 54-63   2016   [Refereed]
Traced *-autonomous categories are compact closed
T. Hajgató; M. Hasegawa
Theory and Applications of Categories   28 206-212   2013   [Refereed]
M. Hasegawa
Mathematical Structures in Computer Science   22(4) 618-650   Aug 2012   [Refereed]
Program semantics and toplogy - recursion, interaction and knots -
Masahito Hasegawa
37-49   Sep 2010   [Invited]
M. Hasegawa; S.-Y. Katsumata
Mathematical Proceedings of the Cambridge Philosophical Society   148(1) 107-109   Jan 2010   [Refereed]
M. Hasegawa
Electronic Notes in Theoretical Computer Science   265 337-350   2010   [Refereed]
K. Nakata; M. Hasegawa
Journal of Functional Programming   19(6) 699-722   Nov 2009   [Refereed]
M. Hasegawa
Mathematical Structures in Computer Science   19(2) 217-244   Apr 2009   [Refereed]
M. Hasegawa; M. Hofmann; G. Plotkin
Lecture Notes in Computer Science   4800 367-385   2008   [Refereed][Invited]
On semantics of recursive programs
Masahito Hasegawa
59(2) 180-191   Apr 2007   [Refereed][Invited]
Relational Parametricity and Control
Hasegawa, M.
Logical Methods in Computer Science,2(3:3), 1-22   2(3:3) 1-22   2006   [Refereed][Invited]
Coherence of the double involution on *-autonomous categories
J.R.B. Cockett; M. Hasegawa; R.A.G. Seely
Theory and Applications of Categories   17(2) 17-29   2006   [Refereed]
A terminating and confluent linear lambda calculus
Y. Ohta; M. Hasegawa
Lecture Notes in Computer Science   4098 166-180   2006   [Refereed]
M. Hasegawa
Mathematical Structures in Computer Science   15(2) 323-342   Apr 2005   [Refereed]
Parameterizations and fixed-point operators on control categories
Y. Kakutani; M. Hasegawa
Fundamenta Informaticae   65(1-2) 153-172   Mar 2005   [Refereed][Invited]
M. Hasegawa
Proceedings - Symposium on Logic in Computer Science   72-81   2005   [Refereed]
M. Hasegawa
Publications of the Research Institute for Mathematical Sciences   40(3) 991-1014   Sep 2004   [Refereed][Invited]
Semantics of Linear Continuation-Passing in Call-by-Name
M. Hasegawa
Lecture Notes in Computer Science   2998 229-243   2004   [Refereed]
Y. Kameyama; M. Hasegawa
ACM SIGPLAN Notices   38(9) 177-188   Sep 2003   [Refereed]
M. Hasegawa
Electronic Notes in Theoretical Computer Science   69 145-163   2003   [Refereed]
Parameterizations and fixed-point operators on control categories
Y. Kakutani; M. Hasegawa
Lecture Notes in Computer Science   2701 180-194   2003   [Refereed]
HASEGAWA M
Lecture Notes in Computer Science   2441 167-182   2002   [Refereed]
M. Hasegawa; Y. Kakutani
Higher-Order and Symbolic Computation   15(2/3) 235-264   2002   [Refereed][Invited]
Classical linear logic of implications
Hasegawa, M
Springer Lecture Notes in Computer Science   2471 458-472   2002   [Refereed]
Axioms for Recursion in Call-by-Value (Extended Abstract)
M. Hasegawa; Y. kakutani
Lecture Notes in Computer Science   2030 246-260   Apr 2001   [Refereed]
Girard translation and logical predicates
M. Hasegawa
Journal of Functional Programming   10(1) 77-89   2000   [Refereed]
Logical predicates for intuitionistic linear type theories
Hasegawa, M
Lecture Notes in Computer Science   1581 198-212   1999   [Refereed]
Barber, A; Gardner, P; Hasegawa, M; Plotkin, G
Lecture Notes in Computer Science   1414 78-97   1998   [Refereed]
Philippa Gardner, Masahito Hasegawa
Lecture Notes in Computer Science   1281 583-603   Sep 1997   [Refereed]
Hasegawa, M
Lecture Notes in Computer Science   1210 196-213   1997   [Refereed]
Masahito Hasegawa
Lecture Notes in Computer Science   953 200-219   Aug 1995   [Refereed]

Misc

 
Report on TACS 2001
M. Hasegawa
Computer Software   19(1) 64-66   2002   [Invited]
On new year\ś eve
H. Masahito
Computer Software   17(1) 15-18   2000   [Invited]

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
M. Hasegawa (ed.) (Part:Editor)
Springer-Verlag   2013   

Conference Activities & Talks

 
Programming languages, tensor categories, and quantum topology [Invited]
Masahito Hasegawa
Forum "Math-for-Industry" 2014   2014   
Denotational semantics and quantum topology [Invited]
Masahito Hasegawa
workshop on Quantum Physics and Logic   2014   
Program semantics, tensor categories, quantum topology [Invited]
Masahito Hasegawa
Workshop on Programming and Programming Languages   2012   
Program semantics and topology - recursion, interaction, knots - [Invited]
Masahito Hasegawa
MSJ Autumn Meeting 2010   2010