J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

First Page		Document Content
Date: 2018-03-08 05:11:17		J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ Add to Reading List Source URL: formal.hknu.ac.kr Download Document from Source Website File Size: 280,21 KB Share Document on Facebook