DOI10.4230/LIPIcs.ITP.2019.29MaRDI QIDQ5875441
Enrico Tassi
Publication date: 3 February 2023
zbMATH Keywords
induction; Coq; containers; equality test; parametricity translation
Mathematics Subject Classification ID
Uses Software