Open AccessA Fibrational Method of Indexed Coinductive Data Types
Author(s) -
Decheng Miao,
Chaoyang Wang,
Xinsheng Liu,
Yonglin Liang
Publication year - 2020
Publication title -
tehnički vjesnik/tehnički vjesnik
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.239
H-Index - 27
eISSN - 1848-6339
pISSN - 1330-3651
DOI - 10.17559/tv-20191130092745
Subject(s) - coinduction , computer science , programming language , mathematics , mathematical proof , geometry