Bo Yi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Bo Yi, Jiafu Xu: Analogical Type Theory. J. Symb. Comput. 19(1-3): 3-24 (1995)

3 Bo Yi, Jiafu Xu: Analogical Type Theory. DISCO 1993: 33-44

2 Bo Yi, Jiafu Xu: Analogy Calculus. Theor. Comput. Sci. 113(2): 211-230 (1993)

Selection of 3 from 5 records - Bo Yi has 6 coauthors

4		Bo Yi, Jiafu Xu: Analogical Type Theory. J. Symb. Comput. 19(1-3): 3-24 (1995)
3		Bo Yi, Jiafu Xu: Analogical Type Theory. DISCO 1993: 33-44
2		Bo Yi, Jiafu Xu: Analogy Calculus. Theor. Comput. Sci. 113(2): 211-230 (1993)