Leibniz equality is isomorphic to Martin-Löf identity, parametrically
ABEL, ANDREAS, COCKX, JESPER, DEVRIESE, DOMINIQUE, TIMANY, AMIN, WADLER, PHILIPVolume:
30
Year:
2020
Journal:
Journal of Functional Programming
DOI:
10.1017/S0956796820000155
File:
PDF, 195 KB
2020