< Back to previous page

Publication

Leibniz equality is isomorphic to Martin-Lof identity, parametrically

Journal Contribution - Journal Article

Journal: Journal of Functional Programming
ISSN: 0956-7968
Volume: 30
Publication year:2020