Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. F. Borceux. Handbook of categorical algebra, vol. 1. CUP, 1994.
2. G. L. Cattani. Presheaf models for concurrency. PhD thesis, University of Aarhus, 1999. Forthcoming.
3. G. L. Cattani, M. Fiore, and G. Winskel. A theory of recursive domains with applications to concurrency. In Proceedings of LICS’ 98, pages 214–225, IEEE Press, 1998.
4. Lect Notes Comput Sci;G. L. Cattani,1997
5. Lect Notes Comput Sci;G. L. Cattani,1997
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Representation Theorems Obtained by Mining across Web Sources for Hints;2023 6th International Conference on Information and Computer Technologies (ICICT);2023-03
2. Revisiting causality, coalgebraically;Acta Informatica;2014-10-24