Partial Cartesian Graph Product
arXiv:1805.07155
Abstract
In this paper we define a new product-like binary operation on directed graphs, and we discuss some of its properties. We also briefly discuss its application in constructing the subtyping relation in generic nominally-typed object-oriented programming languages.
7 pages