Fibrations理论在索引归纳数据类型语法构造中的应用

Fibrations理论在索引归纳数据类型语法构造中的应用

苗德成1，奚建清2，刘新盛3

Syntax construction of indexed inductive data types based on Fibrations theory.

MIAO Decheng1, XI Jianqing2, LIU Xinsheng3

计算机工程与应用 . 2017, (4): 70 -74 . DOI: 10.3778/j.issn.1002-8331.1605-0259