 | | |
| |
| | Masahito HasegawaLast updated: 13/03/06 17:49 Research Keywords tensor categories(1) , semantics of programming languages(2) , software(28) , programming languages(23) , theory of programming languages(1) , functional programming languages(1) , semantics(123) , lambda calculus(4) , type theory(7) , linear logic(3) , Geometry of Interaction(1) , category theory(10) , monoidal categories(1) , traced monoidal categories(1) Prizes Apr 2001 ETAPS2001 Best Theoretical Paper Award, European Association for Theoretical Computer Science Nov 1999 Distinguished Dissertations Award, British Computer Society Papers A quantum double construction in Rel Masahito Hasegawa Mathematical Structures in Computer Science (to appear) 2012 [Refereed] Masahito Hasegawa Electronic Notes in Theoretical Computer Science 265 337-350 Sep 2010 [Refereed] Masahito Hasegawa, Shin-ya Katsumata Mathematical Proceedings of the Cambridge Philosophical Society 148(1) 107-109 Jan 2010 [Refereed] Keiko Nakata, Masahito Hasegawa Journal of Functional Programming 19(6) 699-722 Nov 2009 [Refereed] Masahito Hasegawa Mathematical Structures in Computer Science 19(2) 217-244 Apr 2009 [Refereed] Bibliography Models of Sharing Graphs: A Categorical Semantics of let and letrec Masahito Hasegawa Springer-Verlag Jun 1999 ISBN:1852331453 |
|
|
|
|
| |
kurims.kyoto-u.ac.jp