Profile cover photo
Profile photo
Alejandro Díaz-Caro
About
Alejandro's posts

Post has attachment

Post has attachment

Post has attachment

Post has shared content

Post has shared content

Post has shared content

Post has shared content
Proyectos
Tenemos bastante abandonado el blog. Por mi parte mis excusas son que este semestre he estado dictando varios cursos a la vez (1 en la Tecnicatura en Programación Informática, 2 en la Licenciatura en Informática y 1 en la Maestría en Bioinformática, de la U...

Post has shared content
Poniendo FoQCoSS en los fundamentos de la computación cuántica
Nos acaban de aprobar el proyecto STIC-AmSud " FoQCoSS - Foundations of Quantum Computation: Syntax and Semantics " (Fundamentos de la computación cuántica: sintaxis y semántica). Este es un proyecto conjunto donde participan 5 instituciones (dos argentinas...

Post has shared content
Isomorfismos como igualdades: Proyectando funciones y mejorando la aplicación parcial a través de una implementación de λ⁺
El título de este post es el título de un paper (bueno, su traducción) que acabamos de terminar de escribir y enviar a una conferencia con Pablo E. Martínez López (o Fidel , como lo conoce todo el mundo). En este paper proponemos una implementación de λ⁺ (u...

Post has attachment
Wait while more posts are being loaded