East Asian mathematical journal
- 제6권2호
- /
- Pages.207-212
- /
- 1990
- /
- 1226-6973(pISSN)
- /
- 2287-2833(eISSN)
THE COMPLETE RELATIONS OF TYPES FOR A HIGHER ORDER TYPE-THEORETIC LANGUAGE
- Yi, Hyang-Il (Department of Applied Mathematics, National Fisheries University of Pusan)
- 발행 : 1990.12.30