Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. P. Aczel, N. Mendler, A final coalgebra theorem, in: D.H. Pitt, D.E. Ryeheard, P. Dybjer, A.M. Pitts, A. Poigne (Eds.), Proc. Category Theory and Computer Science, Lecture Notes in Computer Science, Vol. 389, 1989, p. 357–365.
2. A Baltag, A logic for coalgebraic simulation, in: Horst Reichel (Ed.), Electronic Notes in Theoretical Computer Science, Vol. 33, Elsevier Science Publishers, 2000.
3. F. Bartels, Generalised coinduction, Report SEN-R0043, CWI, 2000. Available at URL http://www.cwi.nl. Extended abstract in Electronic Notes in Theoretical Computer Science, Vol. 44.1, Elsevier, Amsterdam, 2001.
4. Combinatorial species and tree-like structures;Bergeron,1998
5. Rational series and their languages;Berstel,1988
Cited by
105 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献