Hasegawa, Masahito, 1970-
Hasegawa, Masahito
長谷川, 真人, 1970-
長谷川, 真人
VIAF ID: 72235390 ( Personal )
Permalink: http://viaf.org/viaf/72235390
Preferred Forms
- 100 1 _ ‡a Hasegawa, Masahito
-
- 100 1 _ ‡a Hasegawa, Masahito ‡d 1970-
- 100 1 _ ‡a Hasegawa, Masahito ‡d 1970-
- 100 1 _ ‡a Hasegawa, Masahito, ‡d 1970-
-
- 100 1 _ ‡a 長谷川, 真人
- 100 1 _ ‡a 長谷川, 真人, ‡d 1970-
4xx's: Alternate Name Forms (7)
Works
Title | Sources |
---|---|
Jidō yōgo shisetsu no kodomotachi wa ima : Kako genzai mirai o kataru | |
Models of sharing graphs : a categorical semantics of let and letrec | |
Ronri to puroguramu imiron | |
TLCA 2013 | |
Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings | |
児童養護施設の子どもたちはいま : 過去・現在・未来を語る | |
論理とプログラム意味論 |