< Terug naar vorige paginaPublicatie Leibniz equality is isomorphic to Martin-Lof identity, parametrically Tijdschriftbijdrage - TijdschriftartikelTijdschrift: Journal of Functional ProgrammingISSN: 0956-7968Volume: 30Jaar van publicatie:2020Institutional Repository URL: https://lirias.kuleuven.be/3068737DOI: https://doi.org/10.1017/s0956796820000155WoS Id: 000540473800001Zie ook: Leibniz equality is isomorphic to Martin-Löf identity, parametricallyAuteurs/uitgeverAndreas Abel (First author)Jesper Cockx (Auteur)Dominique Devriese (Auteur)Amin Timany (Auteur)Philip Wadler (Last author)OnderzoekseenhedenGedistribueerde en Veilige Software (DistriNet)(Afdeling)KU Leuven
