Back to Results
First PageMeta Content
Type theory / Equivalence relation / Dependent type / Preorder / Homotopy type theory / Monad / Equivalence of categories / Partial equivalence relation / Type system / Category / Binary relation / Lambda calculus


Partial Type Equivalences for Verified Dependent Interoperability ∗ Pierre-Evariste Dagand Nicolas Tabareau
Add to Reading List

Document Date: 2016-05-27 18:01:04

Open Document

File Size: 290,81 KB

Share Result on Facebook