Journal of Computing and Information Technology

Xi, Jianqing, South China University of Technology, China

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