Alejandro Díaz-Caro

76 papers A* 1B 5C 4Misc 3Journal 44Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	The sup connective in IMALL: A categorical semantics. Theor. Comput. Sci. Alejandro Díaz-Caro, Octavio Malherbe
2025	B	`conf`	A Quantum-Control Lambda-Calculus with Multiple Measurement Bases. APLAS Alejandro Díaz-Caro, Nicolas A. Monzon
2025	J	`jnl`	A Quantum-Control Lambda-Calculus with Multiple Measurement Bases. CoRR Alejandro Díaz-Caro, Nicolas A. Monzon
2025	J	`jnl`	A new introduction rule for disjunction. CoRR Alejandro Díaz-Caro, Gilles Dowek
2025	J	`jnl`	An Algebraic Extension of Intuitionistic Linear Logic: The L CoRR Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe
2025	J	`jnl`	An algebraic extension of intuitionistic linear logic: the 𝓛!𝒮-calculus and its categorical model. J. Log. Comput. Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe
2025	J	`jnl`	Basis-Sensitive Quantum Typing via Realisability. CoRR Alejandro Díaz-Caro, Octavio Malherbe, Rafael Romero
2025	—	`conf`	Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic. FSTTCS Alejandro Díaz-Caro, Octavio Malherbe
2025	J	`jnl`	Classically time-controlled quantum automata: definition and properties. Comput. J. Alejandro Díaz-Caro, Marcos Villagra
2025	J	`jnl`	Expectation-based Analysis of Higher-Order Quantum Programs. CoRR Martin Avanzini, Alejandro Díaz-Caro, Emmanuel Hainry, Romain Péchoux
2025	B	`conf`	IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation. APLAS Kinnari Dave, Alejandro Díaz-Caro, Vladimir Zamdzhiev
2025	J	`jnl`	IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation. CoRR Kinnari Dave, Alejandro Díaz-Caro, Vladimir Zamdzhiev
2025	—	`ed.`	Proceedings of the 22nd International Conference on Quantum Physics and Logic, QPL 2025, Varna, Bulgaria, 14 July 2025 - 18 July 2025. QPL Alejandro Díaz-Caro, Ognyan Oreshkov, Ana Belén Sainz
2025	C	`conf`	Towards a Computational Quantum Logic - An Overview of an Ongoing Research Program. CiE Alejandro Díaz-Caro
2025	J	`jnl`	Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program. CoRR Alejandro Díaz-Caro
2024	C	`conf`	A Linear Proof Language for Second-Order Intuitionistic Linear Logic. WoLLIC Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe
2024	J	`jnl`	A concrete model for a typed linear algebraic lambda calculus. Math. Struct. Comput. Sci. Alejandro Díaz-Caro, Octavio Malherbe
2024	J	`jnl`	A linear linear lambda-calculus. Math. Struct. Comput. Sci. Alejandro Díaz-Caro, Gilles Dowek
2024	J	`jnl`	Parallel and algebraic lambda-calculi in intuitionistic propositional logic. CoRR Alejandro Díaz-Caro, Octavio Malherbe
2024	—	`ed.`	Proceedings of the 21st International Conference on Quantum Physics and Logic, QPL 2024, Buenos Aires, Argentina, July 15-19, 2024. QPL Alejandro Díaz-Caro, Vladimir Zamdzhiev
2023	J	`jnl`	A feasible and unitary programming language with quantum control. CoRR Alejandro Díaz-Caro, Emmanuel Hainry, Romain Péchoux, Mário Silva
2023	J	`jnl`	A linear proof language for second-order intuitionistic linear logic. CoRR Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe
2023	J	`jnl`	A new connective in natural deduction, and its application to quantum computing. Theor. Comput. Sci. Alejandro Díaz-Caro, Gilles Dowek
2023	J	`jnl`	Extensional proofs in a propositional logic modulo isomorphisms. Theor. Comput. Sci. Alejandro Díaz-Caro, Gilles Dowek
2022	B	`conf`	Linear Lambda-Calculus is Linear. FSCD Alejandro Díaz-Caro, Gilles Dowek
2022	J	`jnl`	Linear lambda-calculus is linear. CoRR Alejandro Díaz-Caro, Gilles Dowek
2022	J	`jnl`	Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model. Log. Methods Comput. Sci. Alejandro Díaz-Caro, Octavio Malherbe
2022	J	`jnl`	Semimodules and the (syntactically-)linear lambda calculus. CoRR Alejandro Díaz-Caro, Octavio Malherbe
2021	C	`conf`	A New Connective in Natural Deduction, and Its Application to Quantum Computing. ICTAC Alejandro Díaz-Caro, Gilles Dowek
2021	—	`conf`	A Quick Overview on the Quantum Control Approach to the Lambda Calculus. LSFA Alejandro Díaz-Caro
2021	—	`conf`	A note on confluence in typed probabilistic lambda calculi. LSFA Rafael Romero, Alejandro Díaz-Caro
2021	J	`jnl`	Polymorphic System I. CoRR Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López
2020	J	`jnl`	A Categorical Construction for the Computational Definition of Vector Spaces. Appl. Categorical Struct. Alejandro Díaz-Caro, Octavio Malherbe
2020	J	`jnl`	A New Connective in Natural Deduction, and its Application to Quantum Computing. CoRR Alejandro Díaz-Caro, Gilles Dowek
2020	J	`jnl`	Extensional proofs in a propositional logic modulo isomorphisms. CoRR Alejandro Díaz-Caro, Gilles Dowek
2020	Misc	`conf`	Functional Pearl: The Distributive λ-Calculus. FLOPS Beniamino Accattoli, Alejandro Díaz-Caro
2020	J	`jnl`	Functional Pearl: The Distributive λ-Calculus. CoRR Beniamino Accattoli, Alejandro Díaz-Caro
2020	—	`conf`	Polymorphic System I. IFL Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López
2020	J	`jnl`	Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model. CoRR Alejandro Díaz-Caro, Octavio Malherbe
2020	J	`jnl`	The Vectorial Lambda Calculus Revisited. CoRR Francisco Noriega, Alejandro Díaz-Caro
2019	J	`jnl`	A categorical construction for the computational definition of vector spaces. CoRR Alejandro Díaz-Caro, Octavio Malherbe
2019	B	`conf`	Proof Normalisation in a Logic Identifying Isomorphic Propositions. FSCD Alejandro Díaz-Caro, Gilles Dowek
2019	A*	`conf`	Realizability in the Unitary Sphere. LICS Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron
2019	J	`jnl`	Realizability in the Unitary Sphere. CoRR Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron
2019	J	`jnl`	Runtime Analysis of Quantum Programs: A Formal Approach. CoRR Federico Olmedo, Alejandro Díaz-Caro
2019	J	`jnl`	Two linearities for quantum computing in the lambda calculus. Biosyst. Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi
2018	—	`conf`	A Concrete Categorical Semantics of Lambda-S. LSFA Alejandro Díaz-Caro, Octavio Malherbe
2018	J	`jnl`	A concrete categorical semantics of Lambda-S. CoRR Alejandro Díaz-Caro, Octavio Malherbe
2018	—	`conf`	Classically Time-Controlled Quantum Automata. TPNC Alejandro Díaz-Caro, Marcos Villagra
2018	J	`jnl`	Classically Time-Controlled Quantum Automata. CoRR Alejandro Díaz-Caro, Marcos Villagra
2017	B	`conf`	A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls. APLAS Alejandro Díaz-Caro
2017	J	`jnl`	A lambda calculus for density matrices. CoRR Alejandro Díaz-Caro
2017	J	`jnl`	Confluence in Probabilistic Rewriting. CoRR Alejandro Díaz-Caro, Guido Martínez
2017	—	`conf`	Confluence in Probabilistic Rewriting. LSFA Alejandro Díaz-Caro, Guido Martínez
2017	J	`jnl`	The vectorial λ-calculus. Inf. Comput. Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
2017	—	`conf`	Typing Quantum Superpositions and Measurement. TPNC Alejandro Díaz-Caro, Gilles Dowek
2016	Misc	`conf`	Affine Computation and Affine Automaton. CSR Alejandro Díaz-Caro, Abuzer Yakaryilmaz
2016	J	`jnl`	Affine computation and affine automaton. CoRR Alejandro Díaz-Caro, Abuzer Yakaryilmaz
2016	J	`jnl`	Quantum superpositions and projective measurement in the lambda calculus. CoRR Alejandro Díaz-Caro, Gilles Dowek
2016	—	`conf`	Retractions in Intersection Types. ITRS Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi
2015	—	`conf`	Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ IFL Alejandro Díaz-Caro, Pablo E. Martínez López
2015	J	`jnl`	Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of lambda+. CoRR Alejandro Díaz-Caro, Pablo E. Martínez López
2014	J	`jnl`	Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus Log. Methods Comput. Sci. Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
2013	Misc	`conf`	Call-by-Value Non-determinism in a Linear Logic Type Discipline. LFCS Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani
2013	J	`jnl`	Call-by-value non-determinism in a linear logic type discipline. CoRR Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani
2013	J	`jnl`	The Vectorial Lambda-Calculus. CoRR Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
2013	—	`conf`	The probability of non-confluent systems. DCM Alejandro Díaz-Caro, Gilles Dowek
2012	C	`conf`	Linearity in the Non-deterministic Call-by-Value Setting. WoLLIC Alejandro Díaz-Caro, Barbara Petit
2012	—	`conf`	Non determinism through type isomorphism LSFA Alejandro Díaz-Caro, Gilles Dowek
2012	J	`jnl`	Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic Log. Methods Comput. Sci. Pablo Arrighi, Alejandro Díaz-Caro
2011	—	`—`	Du typage vectoriel. (On vectorial typing). Alejandro Díaz-Caro
2011	—	`conf`	Lower Bounds for Scalars in a Typed Algebraic λ-calculus LSFA Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff
2011	—	`conf`	Subject reduction in a Curry-style polymorphic type system with a vectorial structure DCM Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
2010	J	`jnl`	Sums in linear algebraic lambda-calculus CoRR Alejandro Díaz-Caro, Barbara Petit
2009	—	`conf`	Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. QPL@MFPS Pablo Arrighi, Alejandro Díaz-Caro
2008	—	`conf`	Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. QPL/DCM@ICALP Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage