MoL-2023-22: Xavier Ripoll Echeveste Alternative Impredicative Encodings of Inductive Types 1.Full Text, 2.Abstract. < Back
