Partial Cartesian Graph Product
Moez A. AbdelGawad · arXiv (Cornell University) · 2018
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.