유형론

제목

유형론

제목 (타언어)

Theory of Types

저자

CHUNG, Inkyo

학회명

2009 NIMS 수리논리 여름학교

개최지

대전

개최국가

대한민국

학회 개최일

2009-06-18 ~ 2009-06-22

더보기