Author:
Cattani Gian Luca,Winskel Glynn
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Adámek, J., and Rosicky, J., Locally Presentable and Accessible Categories. London Mathematical Society Lecture Note Series, 189. Cambridge University Press, 1994.
2. Bednarczyk, M., Hereditary history preserving bisimulation or what is the power of the future perfect in program logics. Technical report, Polish Academy of Sciences, Gdansk, 1991.
3. Borceux, F., Handbook of Categorical Algebra, vol. 1, 2. Encyclopedia of Mathematics and its Applications, vol. 50, 51. Cambridge University Press, 1994.
4. Report Series RS-96-2;A. Cheng,1996
5. Fiore, M.P., Axiomatic Domain Theory in Categories of Partial Maps. Ph.D Thesis. Distinguished Dissertations in Computer Science, Cambridge University Press, 1996.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献