Induction on non-freely generated data types, Claus Sengler
Nadie lo ha calificado todavía.Añadir reseña