Alejandro Díaz-Caro

Available identifiers

zbMath Open diaz-caro.alejandroDBLP86/4871WikidataQ62050318 ScholiaQ62050318MaRDI QIDQ529048

List of research outcomes

Publication	Date of Publication	Type
A quick overview on the quantum control approach to the lambda calculus	2025-01-13	Paper
A note on confluence in typed probabilistic lambda calculi	2025-01-13	Paper
Realizability in the unitary sphere	2024-12-19	Paper
Linear lambda-calculus is linear	2024-05-27	Paper
A concrete model for a typed linear algebraic lambda calculus	2024-03-05	Paper
Extensional proofs in a propositional logic modulo isomorphisms	2023-10-17	Paper
Classically time-controlled quantum automata	2023-10-16	Paper
A new connective in natural deduction, and its application to quantum computing	2023-04-27	Paper
Typing Quantum Superpositions and Measurement	2022-12-09	Paper
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls	2022-12-09	Paper
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model	2022-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q5089014	2022-07-18	Paper
A new connective in natural deduction, and its application to quantum computing	2022-03-31	Paper
Functional pearl: the distributive \(\lambda\)-calculus	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4994968	2021-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4992399	2021-06-08	Paper
A categorical construction for the computational definition of vector spaces	2021-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4986659	2021-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q5858674	2021-04-14	Paper
A concrete categorical semantics of lambda-\(\mathcal{S}\)	2019-11-13	Paper
Confluence in probabilistic rewriting	2019-11-12	Paper
The vectorial \(\lambda\)-calculus	2017-05-18	Paper
Measurements and confluence in quantum lambda calculi with explicit qubits	2016-10-07	Paper
Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic	2016-10-07	Paper
Affine Computation and Affine Automaton	2016-07-25	Paper
Call-by-Value Non-determinism in a Linear Logic Type Discipline	2015-12-11	Paper
Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus	2015-01-15	Paper
Linearity in the Non-deterministic Call-by-Value Setting	2012-09-21	Paper
A System F accounting for scalars	2012-04-03	Paper
A Discussion on the Teleportation Protocol for States of N Qubits	N/A	Paper
The Sup Connective in IMALL: A Categorical Semantics	N/A	Paper
WITHDRAWN: A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective	N/A	Paper
A linear proof language for second-order intuitionistic linear logic	N/A	Paper

Research outcomes over time

This page was built for person: Alejandro Díaz-Caro