- DocumentoRecuperatorio de 2022, Características de Lenguajes de Programación, UNQenviado porAlejandro Díaz-Caro
- DocumentoParcial 1 de 2022, Características de Lenguajes de Programación, UNQenviado porAlejandro Díaz-Caro
- DocumentoParcial 2 de 2022, Características de Lenguajes de Programación, UNQenviado porAlejandro Díaz-Caro
- Documento2020 - Functional Pearl003a The Distributive λ-Calculus - FLOPS'20 - Modify.pdfenviado porAlejandro Díaz-Caro
- Documento2020 - Runtime Analysis of Quantum Programs - PLanQC'20enviado porAlejandro Díaz-Caro
- DocumentoParcial1-resueltoenviado porAlejandro Díaz-Caro
- DocumentoParcial 2 resueltoenviado porAlejandro Díaz-Caro
- DocumentoPractica 7 CLP @ UNQenviado porAlejandro Díaz-Caro
- DocumentoPráctica 2 LFyAenviado porAlejandro Díaz-Caro
- DocumentoPractica 1 de LFyAenviado porAlejandro Díaz-Caro
- DocumentoDu Typage Vectorielenviado porAlejandro Díaz-Caro
- DocumentoA categorical construction for the computational definition of vector spaces (extended abstract)enviado porAlejandro Díaz-Caro
- DocumentoANEXO ROP PIT IV MODIFICACION MAYO 2017.pdfenviado porAlejandro Díaz-Caro
- DocumentoA Concrete Categorical Semantics for Lambda-Senviado porAlejandro Díaz-Caro
- Documentoapuntes.pdfenviado porAlejandro Díaz-Caro
- DocumentoCharla "Computación cuántica en lambda cálculo"enviado porAlejandro Díaz-Caro
- DocumentoSlides Talk at UnBenviado porAlejandro Díaz-Caro
- DocumentoCharla dictada en la UChileenviado porAlejandro Díaz-Caro
- Documentoslides.pdfenviado porAlejandro Díaz-Caro
- DocumentoApuntes Mate 2enviado porAlejandro Díaz-Caro
- DocumentoProof Normalisation in a Logic Identifying Isomorphic Propositionsenviado porAlejandro Díaz-Caro
- DocumentoComputación cuánticaenviado porAlejandro Díaz-Caro
- DocumentoOptativa cuántica LCC Rosarioenviado porAlejandro Díaz-Caro
- DocumentoTp Enunciadoenviado porAlejandro Díaz-Caro
- DocumentoPrimer examen parcial de CLP [resuelto]enviado porAlejandro Díaz-Caro
- DocumentoPractica 2enviado porAlejandro Díaz-Caro
- DocumentoPractica 1enviado porAlejandro Díaz-Caro
- DocumentoA concrete categorical semantics for Lambda-Senviado porAlejandro Díaz-Caro
- Documentopractica1.pdfenviado porAlejandro Díaz-Caro
- Documentopractica1.pdfenviado porAlejandro Díaz-Caro
- Documento02 Bases Pict 2018 Vfenviado porAlejandro Díaz-Caro
- Documento02 BASES PICT 2018 vf.pdfenviado porAlejandro Díaz-Caro
- DocumentoFundamentos de lenguajes de programación cuánticosenviado porAlejandro Díaz-Caro
- DocumentoLogic and Dynamics of Programming Languagesenviado porAlejandro Díaz-Caro
- DocumentoA lambda calculus for density matricesenviado porAlejandro Díaz-Caro
- DocumentoSLIDESenviado porAlejandro Díaz-Caro
- DocumentoAuCTeX Reference Cardenviado porAlejandro Díaz-Caro
- Documento1601.04294enviado porAlejandro Díaz-Caro
- DocumentoRef Cardenviado porAlejandro Díaz-Caro
- DocumentoBases Beca Doctoral Latinoamericana CONICET 2017enviado porAlejandro Díaz-Caro
- DocumentoThe Vectorial lambda-calculusenviado porAlejandro Díaz-Caro
- DocumentoA lambda calculus for density matrices with classical and probabilistic controlsenviado porAlejandro Díaz-Caro
- DocumentoPractica 2enviado porAlejandro Díaz-Caro
- DocumentoPractica 1enviado porAlejandro Díaz-Caro
- Documentoapunte.pdfenviado porAlejandro Díaz-Caro
- DocumentoIntroducción a la Computación Cuántica y Fundamentos de Lenguajes de Programaciónenviado porAlejandro Díaz-Caro
- DocumentoSlides Dia 2enviado porAlejandro Díaz-Caro
- DocumentoSlides Dia 1enviado porAlejandro Díaz-Caro
- DocumentoPapyre P602enviado porAlejandro Díaz-Caro