5
¿Cuál es la teoría de tipo dependiente más intuitiva que podría aprender?
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 discusiones de teoría de tipos …