한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (A)
- /
- Pages.359-360
- /
- 2008
- /
- 1598-5164(pISSN)
프로그래밍 언어의 메타이론의 정형화에 대한 locally nameless 방식과 두 종류의 변수를 사용하는 nominal 방식의 비교 분석
A comparison between locally nameless approach and nominal approach with two sorts of variables to formalization of metatheory of programming languages
- 이계식 (일본 국립 산업기술총합연구소)
- Lee, Gye-Sik (National Institute of Advanced Industrial Science and Technology (AIST))
- 발행 : 2008.06.30