Chinese Unknown Word Recognition Based on Functional Applications of Type Theory | IEEE Conference Publication | IEEE Xplore