Showing 1 - 1 results of 1 for search 'Decheng Miao', query time: 0.02s
Refine Results
-
1
A Fibrational Method of Indexed Coinductive Data Types by Decheng Miao, Chaoyang Wang, Xinsheng Liu, Yonglin Liang
Published 2020-01-01
Article