VIAF

Virtual International Authority File

Search

Hasegawa, Masahito, 1970- ISNI Library of Congress/NACO German National Library

長谷川, 真人, 1970- National Diet Library, Japan

VIAF ID: 72235390 (Personal)

Permalink: http://viaf.org/viaf/72235390

ISNI: 0000  0000  8393  5514 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (4)

Open Section Close SectionWorks

Title Sources
Jidō yōgo shisetsu no kodomotachi wa ima : Kako genzai mirai o kataru National Diet Library, Japan
Models of sharing graphs : a categorical semantics of let and letrec Library of Congress/NACO German National Library
Ronri to puroguramu imiron National Diet Library, Japan
TLCA 2013 Library of Congress/NACO
Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings Library of Congress/NACO German National Library
児童養護施設の子どもたちはいま : 過去・現在・未来を語る National Diet Library, Japan
論理とプログラム意味論 National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (3)

Open Section Close Section About

Open Section Close Section History of VIAF ID:72235390 (8)