INVESTIGADORES
DÍAZ CARO Alejandro
artículos
ALEJANDRO DÍAZ-CARO; GILLES DOWEK
A linear linear lambda-calculus
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE; Lugar: Cambridge; Año: 2024
ALEJANDRO DÍAZ CARO; GILLES DOWEK; MALENA IVNISKY; OCTAVIO MALHERBE
A linear proof language for second-order intuitionistic linear logic
LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berna; Año: 2024
DÍAZ-CARO, ALEJANDRO; DOWEK, GILLES
A new connective in natural deduction, and its application to quantum computing
THEORETICAL COMPUTER SCIENCE; Año: 2023 vol. 957
ALEJANDRO DÍAZ CARO; DOWEK, GILLES
Extensional proofs in a propositional logic modulo isomorphisms
THEORETICAL COMPUTER SCIENCE; Lugar: Amsterdam; Año: 2023 vol. 977 p. 114172 - 114172
ALEJANDRO DÍAZ-CARO; OCTAVIO MALHERBE
A concrete model for a typed linear algebraic lambda calculus
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE; Año: 2023 vol. 34 p. 1 - 44
DÍAZ-CARO, ALEJANDRO; MALHERBE, OCTAVIO
QUANTUM CONTROL IN THE UNITARY SPHERE: LAMBDA-S1 AND ITS CATEGORICAL MODEL
LOGICAL METHODS IN COMPUTER SCIENCE (LMCS); Año: 2022 vol. 18 p. 1 - 36
RAFAEL ROMERO; ALEJANDRO DÍAZ CARO
A note on confluence in typed probabilistic lambda calculi
Electronic Proceedings in Theoretical Computer Science; Año: 2022 p. 18 - 24
ALEJANDRO DÍAZ CARO
A quick overview on the quantum control approach to the lambda calculus
Electronic Proceedings in Theoretical Computer Science; Año: 2022 vol. 357 p. 1 - 17
ALEJANDRO DÍAZ-CARO; GILLES DOWEK
Linear lambda-calculus is linear
Leibniz International Proceedings in Informatics; Año: 2022 vol. 228
ALEJANDRO DÍAZ-CARO; GILLES DOWEK
A new connective in natural deduction, and its application to quantum computing
LECTURE NOTES IN COMPUTER SCIENCE; Año: 2021 vol. 1281 p. 175 - 193
ALEJANDRO DÍAZ-CARO; OCTAVIO MALHERBE
A categorical construction for the computational definition of vector spaces
APPLIED CATEGORICAL STRUCTURES; Lugar: Berlin; Año: 2020 vol. 2020 p. 807 - 844
BENIAMINO ACCATTOLI; ALEJANDRO DÍAZ-CARO
Functional Pearl: The Distributive λ-Calculus
LECTURE NOTES IN COMPUTER SCIENCE; Año: 2020 vol. 1207 p. 33 - 49
CRISTIAN F. SOTTILE; ALEJANDRO DÍAZ-CARO; PABLO E. MARTÍNEZ LÓPEZ
Polymorphic System I
ACM International Conference Proceeding Series; Año: 2020 vol. IFL p. 127 - 137
DÍAZ CARO, ALEJANDRO; GILLES DOWEK
Proof Normalisation in a Logic Identifying Isomorphic Propositions
Leibniz International Proceedings in Informatics (LIPIcs); Lugar: Dagstuhl; Año: 2019 vol. 131 p. 1 - 23
DIAZ-CARO, ALEJANDRO; GUILLERMO, MAURICIO; MIQUEL, ALEXANDRE; VALIRON, BENOIT
Realizability in the unitary sphere
Proceedings - Symposium on Logic in Computer Science; Año: 2019 vol. 2019
DÍAZ CARO, ALEJANDRO; GILLES DOWEK; JUAN PABLO RINALDI
Two linearities for quantum computing in the lambda calculus
BIOSYSTEMS; Lugar: Amsterdam; Año: 2019 vol. 186
DÍAZ-CARO, ALEJANDRO; MALHERBE, OCTAVIO
A Concrete Categorical Semantics of Lambda-S
Electronic Notes in Theoretical Computer Science; Año: 2019 vol. 344 p. 83 - 100
ALEJANDRO DÍAZ-CARO; GUIDO MARTÍNEZ
Confluence in probabilistic rewriting
Electronic Notes in Theoretical Computer Science; Año: 2018 vol. 338 p. 115 - 131
ALEJANDRO DÍAZ-CARO; MARCOS VILLAGRA
Classically time-controlled quantum automata
LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Cham; Año: 2018 vol. 1132 p. 266 - 278
ALEJANDRO DÍAZ-CARO
A lambda calculus for density matrices with classical and probabilistic controls
LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Cham; Año: 2017 vol. 1069 p. 448 - 467
ALEJANDRO DÍAZ-CARO; GILLES DOWEK
Typing Quantum Superpositions and Measurement
LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Cham; Año: 2017 vol. 1068 p. 281 - 293
PABLO ARRIGHI; ALEJANDRO DÍAZ CARO; BENOÎT VALIRON
The vectorial lambda-calculus
Information and Computation; Año: 2017 vol. 254 p. 105 - 139
COPPO, MARIO; DEZANI-CIANCAGLINI, MARIANGIOLA; DÍAZ-CARO, ALEJANDRO; MARGARIA, INES; ZACCHI, MADDALENA
Retractions in intersection types
Electronic Proceedings in Theoretical Computer Science, EPTCS; Año: 2017 vol. 242 p. 31 - 47
ALEJANDRO DÍAZ CARO; ABUZER YAKARYILMAZ
Affine computation and affine automaton
LECTURE NOTES IN COMPUTER SCIENCE; Lugar: New York; Año: 2016 vol. 9691 p. 146 - 160
DÍAZ-CARO, ALEJANDRO; MARTÍNEZ LÓPEZ, PABLO E.
Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ+
ACM International Conference Proceeding Series; Lugar: Nueva York; Año: 2015 vol. IFL p. 1 - 15
ALI ASSAF; ALEJANDRO DÍAZ CARO; SIMON PERDRIX; CHRISTINE TASSON; BENOÎT VALIRON
Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus
LOGICAL METHODS IN COMPUTER SCIENCE (LMCS); Lugar: BRAUNSCHWEIG; Año: 2014 vol. 10 p. 1 - 40
DÍAZ-CARO, ALEJANDRO; DOWEK, GILLES
The probability of non-confluent systems
Electronic Proceedings in Theoretical Computer Science, EPTCS; Año: 2014 vol. 144 p. 1 - 15
ALEJANDRO DÍAZ CARO; GIULIO MANZONETTO; MICHELE PAGANI
Call-by-Value Non-determinism in a Linear Logic Type Discipline
LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2013 vol. 7734 p. 164 - 178
DÍAZ-CARO, ALEJANDRO; DOWEK, GILLES
Non determinism through type isomorphism
Electronic Proceedings in Theoretical Computer Science; Año: 2013 vol. 113 p. 137 - 144
ALEJANDRO DÍAZ CARO; BARBARA PETIT
Linearity in the non-deterministic call-by-value setting
LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlín; Año: 2012 vol. 7456 p. 216 - 231
PABLO ARRIGHI; ALEJANDRO DÍAZ CARO
A System F accounting for scalars
LOGICAL METHODS IN COMPUTER SCIENCE (LMCS); Año: 2012 vol. 8 p. 1 - 32
ARRIGHI, PABLO; DÍAZ-CARO, ALEJANDRO; VALIRON, BENOÎT
A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
Electronic Proceedings in Theoretical Computer Science; Año: 2012 vol. 88 p. 1 - 15
BUIRAS, PABLO; DÍAZ-CARO, ALEJANDRO; JASKELIOFF, MAURO
Confluence via strong normalisation in an algebraic λ-calculus with rewriting
Electronic Proceedings in Theoretical Computer Science; Año: 2012 vol. 81 p. 16 - 29
DÍAZ-CARO, ALEJANDRO; ARRIGHI, PABLO; GADELLA, MANUEL; GRATTAGE, JONATHAN
Measurements and confluence in quantum lambda calculi with explicit qubits
Electronic Notes in Theoretical Computer Science; Año: 2011 vol. 270 p. 59 - 74
ARRIGHI, PABLO; DÍAZ-CARO, ALEJANDRO
Scalar system F for linear-algebraic λ-calculus: Towards a quantum physical logic
Electronic Notes in Theoretical Computer Science; Año: 2011 vol. 270 p. 219 - 229