Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. Algebraic Set Theory, volume 220 of London Mathematical Society Lecture Note Series;Joyal,1995
2. Bisimulation and open maps;Joyal;Information and Computation,1996
3. Toposes, Triples and Theories;Barr,1984
4. Jean Bénabou. Introduction to Bicategories, volume 47 of Lecture Notes in Mathematics. Springer, 1967.
5. A. Cheng and M. Nielsen. Open maps at work, 1995.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献