部分笛卡尔图积
Partial Cartesian Graph Product
摘要：
本文在有向图上定义了一种新的类积二元运算，并讨论了它的一些性质。我们还简要讨论了它在构造泛型名型面向对象程序设计语言中的子类型关系中的应用。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
