/dissertation-artifacts

The Coq proofs of my dissertation "Iso-Recursive Subtyping: New Theory and Extensions"

Primary LanguageCoqGNU General Public License v3.0GPL-3.0

dissertation-artifacts

The Coq proofs of my dissertation "Iso-Recursive Subtyping: New Theory and Extensions"