Computación cuántica: Un lenguaje de programación para la computación cuántica
Investigadores del ICC proponen un lenguaje de programación completo donde todas las operaciones que se escriben son exclusivas de la computación cuántica, es decir, pueden compilarse en una computadora cuántica.
El Instituto de Ciencias de la Computación (ICC) continúa produciendo aportes en fundamentos teóricos de la computación, impulsados por un grupo de investigadores que se dedica a estudiar lenguajes de programación y lógicas
se utilizan paradigmas de lenguajes de programación y el lambda cálculo -sistema formal diseñado por el reconocido matemático Alonzo Church que resulta la base de la programación funcional- con el fin de comprender exhaustivamente la lógica detrás