Alejandro Díaz-Caro

Available identifiers

zbMath Open diaz-caro.alejandroWikidataQ62050318 ScholiaQ62050318MaRDI QIDQ529048

List of research outcomes

Publication	Date of Publication	Type
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 λ-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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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