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