3 ms·Dependent types and program equivalence [pdf] (2010)1 points by fanf2 1y agodeleted 1y ago[deleted]