Masahito Hasegawa

发表

Masahito Hasegawa, 1999 .
Masahito Hasegawa, Yoshihiko Kakutani, Masahito Hasegawa, 2001, High. Order Symb. Comput..
Masahito Hasegawa, Masahito Hasegawa, 2009, Mathematical Structures in Computer Science.
Masahito Hasegawa, 2016, LINEARITY.
Martin Hofmann, Gordon D. Plotkin, Masahito Hasegawa, 2008, Pillars of Computer Science.
Masahito Hasegawa, 2002, CSL.
Masahito Hasegawa, Masahito Hasegawa, 2013, Lecture Notes in Computer Science.
Masahito Hasegawa, 2009 .
Masahito Hasegawa, Masahito Hasegawa, 2012, Mathematical Structures in Computer Science.
Philippa Gardner, Gordon D. Plotkin, Masahito Hasegawa, 1997, CSL.
Masahito Hasegawa, Yo Ohta, 2006, RTA.
Yukiyoshi Kameyama, Masahito Hasegawa, Masahito Hasegawa, 2003, ICFP '03.
Masahito Hasegawa, 2000, J. Funct. Program..
Glynn Winskel, Thomas Ehrhard, Abbas Edalat, 2009, Math. Struct. Comput. Sci..
Masahito Hasegawa, Yoshihiko Kakutani, Masahito Hasegawa, 2005, Fundam. Informaticae.
Masahito Hasegawa, Masahito Hasegawa, 2002, Mathematical Structures in Computer Science.
Masahito Hasegawa, Yoshihiko Kakutani, 2001, FoSSaCS.
Masahito Hasegawa, Masahito Hasegawa, 1995, Category Theory and Computer Science.
Masahito Hasegawa, Masahito Hasegawa, 2010, MFPS.
Yoshio Suzuki, Masahito Hasegawa, Yukio Kato, 1986 .
Masahito Hasegawa, 1999 .
Philippa Gardner, Masahito Hasegawa, Masahito Hasegawa, 1997, TACS.
Yukiyoshi Kameyama, Masahito Hasegawa, 2003, ACM SIGPLAN Notices.
Masahito Hasegawa, 2005, LICS.
Masahito Hasegawa, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Masahito Hasegawa, Masahito Hasegawa, 1999, Distinguished Dissertations.
Masahito Hasegawa, Masahito Hasegawa, 2003, CTCS.
Masahito Hasegawa, Keiko Nakata, 2009, J. Funct. Program..
Masahito Hasegawa, Masahito Hasegawa, 2019, Linearity-TLLA@FLoC.
Masahito Hasegawa, Masahito Hasegawa, 2021, Linearity&TLLA@IJCAR-FSCD.
Masahito Hasegawa, Yoshihiko Kakutani, Masahito Hasegawa, 2001 .
Masahito Hasegawa, R. A. G. Seely, R. Seely, 2006 .
Masahito Hasegawa, Masahito Hasegawa, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).