Conoce las últimas investigaciones presentadas en el 12.º Simposio Internacional FLOPS 2014, donde se abordan temas como programación funcional, lógica, tipos dependientes y optimizaciones de algoritmos, ofreciendo una visión profunda de la teoría computacional aplicada a problemas reales.