Intersection Subtyping with Constructors (additional material)

Coq Formalisation