El trabajo realizado consiste en analizar de cerca dos nociones potentes para explotar equivalencias en demostraciones y programas, que son la parametricidad (del informático John Reynolds) y la más reciente noción de univalencia (del matemático Vladimir Voevodsky). […]
Read More… from Investigador Éric Tanter publica investigación en Journal of the ACM
