Author:
Hasuo Ichiro,Jacobs Bart,Sokolova Ana
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Baez, J.C., Dolan, J.: Higher dimensional algebra III: n-categories and the algebra of opetopes. Adv. Math. 135, 145–206 (1998)
2. Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Berlin (1985)
3. Bartels, F.: On generalised coinduction and probabilistic specification formats. Distributive laws in coalgebraic modelling. PhD thesis, Free Univ. Amsterdam (2004)
4. Encyclopedia of Mathematics;F. Borceux,1994
5. Lecture Notes in Computer Science;I. Hasuo,2006
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献