John Cartmell. Formalizing the Network and Hierarchical Data Models - an Application of Categorical Logic. In David H. Pitt, Samson Abramsky, Axel Poigné, David E. Rydeheard, editors, Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings. Volume 240 of Lecture Notes in Computer Science, pages 466-492, Springer, 1985.
Abstract is missing.