Publisher
Springer International Publishing
Reference18 articles.
1. A. Asperti, G. Longo, Categories, Types and Structures (MIT Press, Cambridge, 1991)
2. J. Baez, J. Dolan, Higher-dimensional algebra III: n-categories and the algebra of opetopes. Adv. Math. 135, 145–206 (1998)
3. LNCS;M. Barr,1988
4. P. Buneman, S. Naqui, V. Tanen, L. Wong, Principles of programming with complex objects and collection types. Theor. Comput. Sci. 149(1), 3–48 (1995)
5. A. Calì, D. Calvanese, G. Giacomo, M. Lenzerini, Data integration under integrity constraints, in Proc. of the 14th Conf. on Advanced Information Systems Engineering (CAiSE 2002) (2002), pp. 262–279