- Documentslidesuploaded by
Alejandro Díaz-Caro
- DocumentSlidesuploaded by
Alejandro Díaz-Caro
- DocumentRecuperatorio de 2022, Características de Lenguajes de Programación, UNQuploaded by
Alejandro Díaz-Caro
- DocumentParcial 1 de 2022, Características de Lenguajes de Programación, UNQuploaded by
Alejandro Díaz-Caro
- DocumentParcial 2 de 2022, Características de Lenguajes de Programación, UNQuploaded by
Alejandro Díaz-Caro
- Document2020 - Functional Pearl003a The Distributive λ-Calculus - FLOPS'20 - Modify.pdfuploaded by
Alejandro Díaz-Caro
- Document2020 - Runtime Analysis of Quantum Programs - PLanQC'20uploaded by
Alejandro Díaz-Caro
- DocumentParcial1-resueltouploaded by
Alejandro Díaz-Caro
- DocumentParcial 2 resueltouploaded by
Alejandro Díaz-Caro
- DocumentPractica 7 CLP @ UNQuploaded by
Alejandro Díaz-Caro
- DocumentPráctica 2 LFyAuploaded by
Alejandro Díaz-Caro
- DocumentPractica 1 de LFyAuploaded by
Alejandro Díaz-Caro
- DocumentDu Typage Vectorieluploaded by
Alejandro Díaz-Caro
- DocumentA categorical construction for the computational definition of vector spaces (extended abstract)uploaded by
Alejandro Díaz-Caro
- DocumentANEXO ROP PIT IV MODIFICACION MAYO 2017.pdfuploaded by
Alejandro Díaz-Caro
- DocumentA Concrete Categorical Semantics for Lambda-Suploaded by
Alejandro Díaz-Caro
- Documentapuntes.pdfuploaded by
Alejandro Díaz-Caro
- DocumentCharla "Computación cuántica en lambda cálculo"uploaded by
Alejandro Díaz-Caro
- DocumentSlides Talk at UnBuploaded by
Alejandro Díaz-Caro
- DocumentCharla dictada en la UChileuploaded by
Alejandro Díaz-Caro
- Documentslides.pdfuploaded by
Alejandro Díaz-Caro
- DocumentApuntes Mate 2uploaded by
Alejandro Díaz-Caro
- DocumentProof Normalisation in a Logic Identifying Isomorphic Propositionsuploaded by
Alejandro Díaz-Caro
- DocumentComputación cuánticauploaded by
Alejandro Díaz-Caro
- DocumentOptativa cuántica LCC Rosariouploaded by
Alejandro Díaz-Caro
- DocumentTp Enunciadouploaded by
Alejandro Díaz-Caro
- DocumentPrimer examen parcial de CLP [resuelto]uploaded by
Alejandro Díaz-Caro
- DocumentPractica 2uploaded by
Alejandro Díaz-Caro
- DocumentPractica 1uploaded by
Alejandro Díaz-Caro
- DocumentA concrete categorical semantics for Lambda-Suploaded by
Alejandro Díaz-Caro
- Documentpractica1.pdfuploaded by
Alejandro Díaz-Caro
- Documentpractica1.pdfuploaded by
Alejandro Díaz-Caro
- Document02 Bases Pict 2018 Vfuploaded by
Alejandro Díaz-Caro
- Document02 BASES PICT 2018 vf.pdfuploaded by
Alejandro Díaz-Caro
- DocumentFundamentos de lenguajes de programación cuánticosuploaded by
Alejandro Díaz-Caro
- DocumentLogic and Dynamics of Programming Languagesuploaded by
Alejandro Díaz-Caro
- DocumentA lambda calculus for density matricesuploaded by
Alejandro Díaz-Caro
- DocumentSLIDESuploaded by
Alejandro Díaz-Caro
- DocumentAuCTeX Reference Carduploaded by
Alejandro Díaz-Caro
- Document1601.04294uploaded by
Alejandro Díaz-Caro
- DocumentRef Carduploaded by
Alejandro Díaz-Caro
- DocumentBases Beca Doctoral Latinoamericana CONICET 2017uploaded by
Alejandro Díaz-Caro
- DocumentThe Vectorial lambda-calculusuploaded by
Alejandro Díaz-Caro
- DocumentA lambda calculus for density matrices with classical and probabilistic controlsuploaded by
Alejandro Díaz-Caro
- DocumentPractica 2uploaded by
Alejandro Díaz-Caro
- DocumentPractica 1uploaded by
Alejandro Díaz-Caro
- Documentapunte.pdfuploaded by
Alejandro Díaz-Caro
- DocumentIntroducción a la Computación Cuántica y Fundamentos de Lenguajes de Programaciónuploaded by
Alejandro Díaz-Caro
- DocumentSlides Dia 2uploaded by
Alejandro Díaz-Caro