Bo Yi Jiafu Xu Analogical Type Theory. 33-44 1993 conf/disco/1993 DISCO db/conf/disco/disco1993.html#YiX93 http://dx.doi.org/10.1007/BFb0013166