Objetivos: Este curso pretende llegar hasta los avances más recientes en el estudio de la correspondencia de Curry-Howard-Lambek para computación cuántica. La correspondencia de Curry Howard-Lambek, en computación clásica, es la existente entre los lenguajes de programación tipados, la lógica, y la teoría de categorías.
Dr. Alejandro Díaz-Caro
4
08/09/2026
10/11/2026