Alejandro Díaz-Caro
发表
Benoît Valiron,
Pablo Arrighi,
Alejandro Díaz-Caro,
2017,
Inf. Comput..
Beniamino Accattoli,
Alejandro Díaz-Caro,
2020,
FLOPS.
Gilles Dowek,
Alejandro Díaz-Caro,
Gilles Dowek,
2016,
ArXiv.
Gilles Dowek,
Alejandro Díaz-Caro,
Juan Pablo Rinaldi,
2016,
Biosyst..
Manuel Gadella,
Pablo Arrighi,
Alejandro Díaz-Caro,
2011,
Electron. Notes Theor. Comput. Sci..
Benoît Valiron,
Pablo Arrighi,
Alejandro Díaz-Caro,
2013,
ArXiv.
Alejandro Díaz-Caro,
Alejandro Díaz-Caro,
2015
.
Alejandro Díaz-Caro,
Guido Martínez,
Alejandro Díaz-Caro,
2017,
LSFA.
Alejandro Díaz-Caro,
Barbara Petit,
2012,
WoLLIC.
Gilles Dowek,
Alejandro Díaz-Caro,
Gilles Dowek,
2015,
ArXiv.
Alejandro Díaz-Caro,
Barbara Petit,
Barbara Petit,
2010,
ArXiv.
Abuzer Yakaryilmaz,
Alejandro Díaz-Caro,
Alejandro Díaz-Caro,
2016,
CSR.
Gilles Dowek,
Alejandro Díaz-Caro,
Gilles Dowek,
2012,
LSFA.
Gilles Dowek,
Alejandro Díaz-Caro,
Gilles Dowek,
2016,
TPNC.
Marcos Villagra,
Alejandro Díaz-Caro,
2018,
TPNC.
Alejandro Díaz-Caro,
Alejandro Díaz-Caro,
2017,
APLAS.
Simon Perdrix,
Christine Tasson,
Alejandro Díaz-Caro,
2014,
Log. Methods Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
Ines Margaria,
2017,
ITRS.
Alejandro Díaz-Caro,
Octavio Malherbe,
2020,
Appl. Categorical Struct..
Benoît Valiron,
Pablo Arrighi,
Alejandro Díaz-Caro,
2011,
DCM.
Alejandro Díaz-Caro,
Octavio Malherbe,
2018,
LSFA.
Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of lambda+
pdf
Pablo E. Martínez López,
Alejandro Díaz-Caro,
2015,
ArXiv.
Giulio Manzonetto,
Michele Pagani,
Alejandro Díaz-Caro,
2013,
LFCS.
Gilles Dowek,
Alejandro Díaz-Caro,
Gilles Dowek,
2015,
FSCD.
Alejandro Díaz-Caro,
Alejandro Díaz-Caro,
2017,
ArXiv.
Pablo E. Martínez López,
Alejandro Díaz-Caro,
2015,
IFL '15.
Gilles Dowek,
Alejandro Díaz-Caro,
2013,
DCM.
Alejandro Díaz-Caro,
2011
.
Pablo Buiras,
Mauro Jaskelioff,
Alejandro Díaz-Caro,
2011,
LSFA.
Pablo Arrighi,
Alejandro Díaz-Caro,
2012,
Log. Methods Comput. Sci..
Alexandre Miquel,
Alejandro Díaz-Caro,
Benoît Valiron,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Pablo Arrighi,
Alejandro Díaz-Caro,
2011,
Electron. Notes Theor. Comput. Sci..
Simon Perdrix,
Benoît Valiron,
Christine Tasson,
2010
.