Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Reference15 articles.
1. Cockett, J.R.B., Guo, X.: Stable meet semilattice fibrations and free restriction categories. Theory Appl. Categ. 16, 307–341 (2006)
2. Cockett, J.R.B., Lack, S.: Restriction categories I: categories of partial maps. Theor. Comput. Sci. 270, 223–259 (2002)
3. Cockett, J.R.B., Lack, S.: Restriction categories II: partial map classification. Theor. Comput. Sci. 294, 61–102 (2003)
4. Cockett, J.R.B., Manes, E.: Boolean and classical restriction categories. Math. Struct. Comput. Sci. 19, 357–416 (2009)
5. DeWolf, D.: Restriction category perspectives of partial computation and geometry. Ph.D. Thesis, Dalhousie University (2017)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献