Baidu
map

A Fibrational Method of Indexed Coinductive Data Types

Miao, DC; Wang, CY; Liu, XS; Liang, YL

Miao, DC (corresponding author), Shaoguan Univ, Sch Informat Sci & Engn, 288 Daxue Rd, Zhenjiang Dist, Shaoguan, Peoples R China.

TEHNICKI VJESNIK-TECHNICAL GAZETTE, 2020; 27 (2): 411

Abstract

As a fundamental issue in type theory, indexed coinductive data types (ICDT, for short) is of crucial importance, which is essentially semantic comput......

Full Text Link


Baidu
map
Baidu
map
Baidu
map