2000 character limit reached
Partial Cartesian Graph Product
Published 18 May 2018 in cs.PL and math.CO | (1805.07155v2)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.