Journal of Computing and Information Technology

Guo, Yubin, South China University of Agriculture, China

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