VIAF

Virtual International Authority File

Search

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

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

VIAF ID: 72235390 (Personal)

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

ISNI-test: 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
Models of sharing graphs : a categorical semantics of let and letrec Library of Congress/NACO German National Library
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)