Estoy interesado en obtener una comprensión realmente sólida de la escritura dependiente. He leído la mayor parte de TaPL y he leído (si no está completamente absorbido) 'Tipos dependientes' en ATTaPL . También he leído y hojeado un montón de artículos sobre mecanografía dependiente. Muchas...