@ARTICLE {
	AUTHOR = "Nicolas Tabareau and {\'E}ric Tanter and Matthieu Sozeau",
	TITLE ="The Marriage of Univalence and Parametricity",
	JOURNAL = "Journal of the ACM (JACM)",
	VOLUME = "68",
	NUMBER = "1",
	PAGES = "5:1-5:44",
	MONTH = "Jan",
	YEAR = "2021",
	PUBLISHER = "ACM Press",
	ADDRESS = "New York, NY, USA",
	ISSN = "0004-5411"
	}