Intersection Subtyping with Constructors (additional material)

Coq Formalisation

• First version 2018/04/13 (uses lists as arguments of type constructors)
• Second version 2018/11/04 (uses vectors as arguments of type constructors)