Enviar aquest missatge de text: Interpretación de KM3/ATL en Teoría de Tipos