ALEJANDRO DÍAZ-CARO; GILLES DOWEK

A linear linear lambda-calculus

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE; Lugar: Cambridge; 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