East Asian mathematical journal

The Youngnam Mathematical Society (영남수학회)
권호 표지

THE COMPLETE RELATIONS OF TYPES FOR A HIGHER ORDER TYPE-THEORETIC LANGUAGE

  • Yi, Hyang-Il (Department of Applied Mathematics, National Fisheries University of Pusan)
  • Published : 1990.12.30
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords