Publisher
Springer International Publishing
Reference7 articles.
1. Greiner, J.: Programming with inductive and co-inductive types. School of Computer Science, Carnegie Mellon University, Pittsburgh, USA (1992)
2. Rutten, J.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249(1), 3–80 (2000)
3. Johnson, M., Rosebrugh, R., Wood, R.J.: Lenses, fibrations and universal translations. Math. Struct. Comput. Sci. 22, 25–42 (2012)
4. Miao, D.C., Xi, J.Q., Jia, L.Y., et al.: Formal language algebraic model. J. South China Univ. Technol. (Nat. Sci. Ed.) 39(10), 74–78 (2011)
5. Hermida, C., Jacobs, B.: Structural induction and coinduction in a fibrational setting. Inf. Comput. 145(2), 107–152 (1998)