Login / Signup

Formalizing the Network and Hierarchical Data Models - an Application of Categorical Logic.

John Cartmell
Published in: CTCS (1985)
Keyphrases