Author:
Basold Henning,Komendantskaya Ekaterina,Li Yue
Publisher
Springer International Publishing
Reference77 articles.
1. Abbott, M., Altenkirch, T., Ghani, N.: Containers: constructing strictly positive types. TCS 342(1), 3–27 (2005).
https://doi.org/10.1016/j.tcs.2005.06.002
2. Abel, A., Pientka, B., Thibodeau, D., Setzer, A.: Copatterns: programming infinite structures by observations. In: POPL 2013, pp. 27–38 (2013).
https://doi.org/10.1145/2429069.2429075
3. Aczel, P.: Non-well-founded sets. Center for the Study of Language and Information, Stanford University (1988)
4. Lecture Notes in Computer Science;P Aczel,2002
5. Aczel, P., Adámek, J., Milius, S., Velebil, J.: Infinite trees and completely iterative theories: a coalgebraic view. TCS 300(1–3), 1–45 (2003).
https://doi.org/10.1016/S0304-3975(02)00728-4
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献