Journal of Computing and Information Technology

Miao, Decheng, Shaoguan University, China

• Vol 24, No 1 (2016) - Regular Papers
  Inductive Data Types Based on Fibrations Theory in Programming
  Abstract  PDF