Impredicative Encodings of Inductive and Coinductive Types. - Steven Bronsveld; Herman Geuvers; Niels van der Weide (FSCD, 2025)

Master Thesis Impredicative Encodings of Inductive and Coinductive Types. - Steven Bronsveld; Herman Geuvers; Niels van der Weide (CoRR, 2025)