< Back to previous pagePublication Leibniz equality is isomorphic to Martin-Lof identity, parametrically Journal Contribution - Journal ArticleJournal: Journal of Functional ProgrammingISSN: 0956-7968Volume: 30Publication year:2020Institutional Repository URL: https://lirias.kuleuven.be/3068737DOI: https://doi.org/10.1017/s0956796820000155WoS Id: 000540473800001See also: Leibniz equality is isomorphic to Martin-Löf identity, parametricallyAuthors/publisherAndreas Abel (First author)Jesper Cockx (Author)Dominique Devriese (Author)Amin Timany (Author)Philip Wadler (Last author)Research unitsDistributed and Secure Software (DistriNet)(Division)KU Leuven