Masahito Hasegawa
发表
Masahito Hasegawa,
Masahito Hasegawa,
1997,
TLCA.
Masahito Hasegawa,
2013
.
Masahito Hasegawa,
1999
.
Masahito Hasegawa,
J. Lemay,
2022,
2208.06529.
Masahito Hasegawa,
2003
.
Masahito Hasegawa,
2022,
2211.11118.
Masahito Hasegawa,
Masahito Hasegawa,
2021,
Linearity&TLLA@IJCAR-FSCD.
Masahito Hasegawa,
Masahito Hasegawa,
2014
.
Masahito Hasegawa,
Masahito Hasegawa,
2012,
Mathematical Structures in Computer Science.
Masahito Hasegawa,
Masahito Hasegawa,
1999
.
Masahito Hasegawa,
Masahito Hasegawa,
1995,
Category Theory and Computer Science.
Yukiyoshi Kameyama,
Masahito Hasegawa,
Masahito Hasegawa,
2003,
ICFP '03.
Martin Hofmann,
Gordon D. Plotkin,
Masahito Hasegawa,
2008,
Pillars of Computer Science.
Masahito Hasegawa,
Masahito Hasegawa,
2010,
MFPS.
Masahito Hasegawa,
Masahito Hasegawa,
1999,
Distinguished Dissertations.
Masahito Hasegawa,
Masahito Hasegawa,
2013,
Lecture Notes in Computer Science.
Masahito Hasegawa,
Masahito Hasegawa,
2019,
Linearity-TLLA@FLoC.
Masahito Hasegawa,
Masahito Hasegawa,
2009,
Mathematical Structures in Computer Science.
Masahito Hasegawa,
Masahito Hasegawa,
2003,
CTCS.
Masahito Hasegawa,
Yoshihiko Kakutani,
Masahito Hasegawa,
2001,
High. Order Symb. Comput..
Masahito Hasegawa,
Yoshihiko Kakutani,
Masahito Hasegawa,
2005,
Fundam. Informaticae.
Masahito Hasegawa,
Yoshihiko Kakutani,
Masahito Hasegawa,
2001
.
Masahito Hasegawa,
Masahito Hasegawa,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Philippa Gardner,
Masahito Hasegawa,
Masahito Hasegawa,
1997,
TACS.
Philippa Gardner,
Gordon D. Plotkin,
Masahito Hasegawa,
1997,
CSL.
Masahito Hasegawa,
R. A. G. Seely,
R. Seely,
2006
.