MoL-2025-12: Stefano Volpe Higher Inductive Types Via Impredicative Encodings 1.Full Text, 2.Abstract. < Back
