Mechanically Verified Proofs from "Empowering Union and Intersection Types with Integrated Subtyping" (c) by Fabian Muehlboeck and Ross Tate

Mechanically Verified Proofs from "Empowering Union and Intersection Types with Integrated Subtyping" is licensed under a
Creative Commons Attribution 4.0 International License.

You should have received a copy of the license along with this
work. If not, see <http://creativecommons.org/licenses/by/4.0/>.