Publisher
Springer Nature Singapore
Reference42 articles.
1. Abbott, M.G., Altenkirch, T., Ghani, N.: Containers: constructing strictly positive types. Theor. Comput. Sci. 342(1), 3–27 (2005). https://doi.org/10.1016/j.tcs.2005.06.002
2. Lecture Notes in Computer Science;A Abel,2003
3. Lecture Notes in Computer Science;A Abel,2003
4. Abel, A., Matthes, R., Uustalu, T.: Iteration and coiteration schemes for higher-order and nested datatypes. Theor. Comput. Sci. 333(1–2), 3–66 (2005)
5. Adámek, J.: Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carol. 15(4), 589–602 (1974)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献