Publicaciones sobre TypeTheory Canal RSS 18-11-2024Readings shared November 18, 2024 25-08-2024Readings shared August 24, 2024 21-08-2024Readings shared August 20, 2024 03-06-2024Lecturas compartidas el 2 de junio de 2024 01-06-2024Lecturas compartidas el 31 de mayo de 2024