ALEJANDRO DÍAZ CARO

Datos académicos

Lugar de trabajo	CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS / OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA / INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION \| UNIVERSIDAD DE BUENOS AIRES / FACULTAD DE CIENCIAS EXACTAS Y NATURALES / INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Título	Docteur de l'Université de Grenoble
Grado	Universitario de posgrado/doctorado

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-12 de 12

Artículo A categorical construction for the computational definition of vector spaces

Díaz Caro, Alejandro ; Malherbe, Octavio (Springer, 2020-10)
Artículo A Concrete Categorical Semantics of Lambda-S

Díaz Caro, Alejandro ; Malherbe, Octavio (Elsevier Science, 2019-08)
Artículo A lambda calculus for density matrices with classical and probabilistic controls

Díaz Caro, Alejandro (Springer, 2017-11)
Artículo A new connective in natural deduction, and its application to quantum computing

Díaz Caro, Alejandro ; Dowek, Gilles (Elsevier Science, 2023-05)
Artículo A note on confluence in typed probabilistic lambda calculi

Romero, Lucas Rafael ; Díaz Caro, Alejandro (Open Publishing Association, 2022-04)
Artículo A Quick Overview on the Quantum Control Approach to the Lambda Calculus

Díaz Caro, Alejandro (Open Publishing Association, 2022-04)
Artículo Confluence in Probabilistic Rewriting

Díaz Caro, Alejandro ; Martínez, Guido (Elsevier, 2018-10)
Artículo Proof Normalisation in a Logic Identifying Isomorphic Propositions

Díaz Caro, Alejandro ; Dowek, Gilles (Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2019-06)
Artículo Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model

Díaz Caro, Alejandro ; Malherbe, Octavio (Technische Universität Braunschweig, 2022-09)
Artículo The vectorial λ-calculus

Arrighi, Pablo; Díaz Caro, Alejandro ; Valiron, Benoît (Academic Press Inc Elsevier Science, 2017-06)
Artículo Two linearities for quantum computing in the lambda calculus

Díaz Caro, Alejandro ; Dowek, Gilles; Rinaldi, Juan Pablo (Elsevier, 2019-12)
Artículo Typing Quantum Superpositions and Measurement

Díaz Caro, Alejandro ; Dowek, Gilles (Springer, 2017-12)

Mostrando ítems 1-12 de 12