This artifact contains the Coq formulation of Duotyping associated with the paper "The Duality of Subtyping". This document explains how to run the Coq formulations. It also explains the Coq files ...
Some results have been hidden because they may be inaccessible to you
Feedback