| [ KAIST ] in KIDS 글 쓴 이(By): euphony (euphony) 날 짜 (Date): 2003년 6월 13일 금요일 오전 09시 09분 03초 제 목(Title): Re: [Q] Model 에 대해서. 프로그래밍 언어 이론 책을 보시면 도움이 될 것 같네요. Carl Gunter가 지은 Semantics of programming languages : structures and techniques 이나, John Reynolds가 지은 Theories of programming languages 이나, Glyn Winskel이 지은 The formal semantics of programming languages : an introduction 이 좋을 듯 합니다. (Gunter 책은 조금 더 수학책 같고, Reynolds나 Winskel 책은 조금 더 전산학 책 같습니다.) 아예 수학과 분이시면 Category Theory와 관련된 책도 좋겠네요. 특히 Lambek과 Scott이 지은 Introduction to higher order categorical logic 를 보시면, formal system과 category 사이의 관계를 아실 수 있을 겁니다. (그 책에 보면, typed lambda calculus와 cartesian closed category의 관계와 higher-order logic과 topos와의 관계등이 나옵니다.) |