default search action
Alejandro Díaz-Caro
Person information
- affiliation: CONICET-Universidad de Buenos Aires. Instituto de Investigación en Ciencias de la Computación (ICC). Buenos Aires, Argentina
- affiliation: Universidad Nacional de Quilmes, Buenos Aires, Argentina
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j9]Alejandro Díaz-Caro, Octavio Malherbe:
A concrete model for a typed linear algebraic lambda calculus. Math. Struct. Comput. Sci. 34(1): 1-44 (2024) - [c25]Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe:
A Linear Proof Language for Second-Order Intuitionistic Linear Logic. WoLLIC 2024: 18-35 - [e1]Alejandro Díaz-Caro, Vladimir Zamdzhiev:
Proceedings of the 21st International Conference on Quantum Physics and Logic, QPL 2024, Buenos Aires, Argentina, July 15-19, 2024. EPTCS 406, 2024 [contents] - [i24]Alejandro Díaz-Caro, Octavio Malherbe:
Parallel and algebraic lambda-calculi in intuitionistic propositional logic. CoRR abs/2408.16102 (2024) - 2023
- [j8]Alejandro Díaz-Caro, Gilles Dowek:
A new connective in natural deduction, and its application to quantum computing. Theor. Comput. Sci. 957: 113840 (2023) - [j7]Alejandro Díaz-Caro, Gilles Dowek:
Extensional proofs in a propositional logic modulo isomorphisms. Theor. Comput. Sci. 977: 114172 (2023) - [i23]Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe:
A linear proof language for second-order intuitionistic linear logic. CoRR abs/2310.08517 (2023) - [i22]Alejandro Díaz-Caro, Emmanuel Hainry, Romain Péchoux, Mário Silva:
A feasible and unitary programming language with quantum control. CoRR abs/2311.01054 (2023) - 2022
- [j6]Alejandro Díaz-Caro, Octavio Malherbe:
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model. Log. Methods Comput. Sci. 18(3) (2022) - [c24]Alejandro Díaz-Caro, Gilles Dowek:
Linear Lambda-Calculus is Linear. FSCD 2022: 21:1-21:17 - [i21]Alejandro Díaz-Caro, Gilles Dowek:
Linear lambda-calculus is linear. CoRR abs/2201.11221 (2022) - [i20]Alejandro Díaz-Caro, Octavio Malherbe:
Semimodules and the (syntactically-)linear lambda calculus. CoRR abs/2205.02142 (2022) - 2021
- [c23]Alejandro Díaz-Caro, Gilles Dowek:
A New Connective in Natural Deduction, and Its Application to Quantum Computing. ICTAC 2021: 175-193 - [c22]Alejandro Díaz-Caro:
A Quick Overview on the Quantum Control Approach to the Lambda Calculus. LSFA 2021: 1-17 - [c21]Rafael Romero, Alejandro Díaz-Caro:
A note on confluence in typed probabilistic lambda calculi. LSFA 2021: 18-24 - [i19]Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López:
Polymorphic System I. CoRR abs/2101.03215 (2021) - 2020
- [j5]Alejandro Díaz-Caro, Octavio Malherbe:
A Categorical Construction for the Computational Definition of Vector Spaces. Appl. Categorical Struct. 28(5): 807-844 (2020) - [c20]Beniamino Accattoli, Alejandro Díaz-Caro:
Functional Pearl: The Distributive λ-Calculus. FLOPS 2020: 33-49 - [c19]Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López:
Polymorphic System I. IFL 2020: 127-137 - [i18]Alejandro Díaz-Caro, Gilles Dowek:
Extensional proofs in a propositional logic modulo isomorphisms. CoRR abs/2002.03762 (2020) - [i17]Beniamino Accattoli, Alejandro Díaz-Caro:
Functional Pearl: The Distributive λ-Calculus. CoRR abs/2002.07944 (2020) - [i16]Francisco Noriega, Alejandro Díaz-Caro:
The Vectorial Lambda Calculus Revisited. CoRR abs/2007.03648 (2020) - [i15]Alejandro Díaz-Caro, Octavio Malherbe:
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model. CoRR abs/2012.05887 (2020) - [i14]Alejandro Díaz-Caro, Gilles Dowek:
A New Connective in Natural Deduction, and its Application to Quantum Computing. CoRR abs/2012.08994 (2020)
2010 – 2019
- 2019
- [j4]Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi:
Two linearities for quantum computing in the lambda calculus. Biosyst. 186 (2019) - [c18]Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron:
Realizability in the Unitary Sphere. LICS 2019: 1-13 - [c17]Alejandro Díaz-Caro, Gilles Dowek:
Proof Normalisation in a Logic Identifying Isomorphic Propositions. FSCD 2019: 14:1-14:23 - [i13]Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron:
Realizability in the Unitary Sphere. CoRR abs/1904.08785 (2019) - [i12]Alejandro Díaz-Caro, Octavio Malherbe:
A categorical construction for the computational definition of vector spaces. CoRR abs/1905.01305 (2019) - [i11]Federico Olmedo, Alejandro Díaz-Caro:
Runtime Analysis of Quantum Programs: A Formal Approach. CoRR abs/1911.11247 (2019) - 2018
- [c16]Alejandro Díaz-Caro, Marcos Villagra:
Classically Time-Controlled Quantum Automata. TPNC 2018: 266-278 - [c15]Alejandro Díaz-Caro, Octavio Malherbe:
A Concrete Categorical Semantics of Lambda-S. LSFA 2018: 83-100 - [i10]Alejandro Díaz-Caro, Octavio Malherbe:
A concrete categorical semantics of Lambda-S. CoRR abs/1806.09236 (2018) - [i9]Alejandro Díaz-Caro, Marcos Villagra:
Classically Time-Controlled Quantum Automata. CoRR abs/1807.05385 (2018) - 2017
- [j3]Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
The vectorial λ-calculus. Inf. Comput. 254: 105-139 (2017) - [c14]Alejandro Díaz-Caro:
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls. APLAS 2017: 448-467 - [c13]Alejandro Díaz-Caro, Gilles Dowek:
Typing Quantum Superpositions and Measurement. TPNC 2017: 281-293 - [c12]Alejandro Díaz-Caro, Guido Martínez:
Confluence in Probabilistic Rewriting. LSFA 2017: 115-131 - [i8]Alejandro Díaz-Caro:
A lambda calculus for density matrices. CoRR abs/1705.00097 (2017) - [i7]Alejandro Díaz-Caro, Guido Martínez:
Confluence in Probabilistic Rewriting. CoRR abs/1708.03536 (2017) - 2016
- [c11]Alejandro Díaz-Caro, Abuzer Yakaryilmaz:
Affine Computation and Affine Automaton. CSR 2016: 146-160 - [c10]Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi:
Retractions in Intersection Types. ITRS 2016: 31-47 - [i6]Alejandro Díaz-Caro, Gilles Dowek:
Quantum superpositions and projective measurement in the lambda calculus. CoRR abs/1601.04294 (2016) - [i5]Alejandro Díaz-Caro, Abuzer Yakaryilmaz:
Affine computation and affine automaton. CoRR abs/1602.04732 (2016) - 2015
- [c9]Alejandro Díaz-Caro, Pablo E. Martínez López:
Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ+. IFL 2015: 9:1-9:11 - [i4]Alejandro Díaz-Caro, Pablo E. Martínez López:
Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of lambda+. CoRR abs/1511.09324 (2015) - 2014
- [j2]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 λ-calculus. Log. Methods Comput. Sci. 10(4) (2014) - 2013
- [c8]Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani:
Call-by-Value Non-determinism in a Linear Logic Type Discipline. LFCS 2013: 164-178 - [c7]Alejandro Díaz-Caro, Gilles Dowek:
The probability of non-confluent systems. DCM 2013: 1-15 - [i3]Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
The Vectorial Lambda-Calculus. CoRR abs/1308.1138 (2013) - [i2]Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani:
Call-by-value non-determinism in a linear logic type discipline. CoRR abs/1312.4507 (2013) - 2012
- [j1]Pablo Arrighi, Alejandro Díaz-Caro:
Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic. Log. Methods Comput. Sci. 8(1) (2012) - [c6]Alejandro Díaz-Caro, Barbara Petit:
Linearity in the Non-deterministic Call-by-Value Setting. WoLLIC 2012: 216-231 - [c5]Alejandro Díaz-Caro, Gilles Dowek:
Non determinism through type isomorphism. LSFA 2012: 137-144 - 2011
- [b1]Alejandro Díaz-Caro:
Du typage vectoriel. (On vectorial typing). Grenoble Alpes University, France, 2011 - [c4]Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
Subject reduction in a Curry-style polymorphic type system with a vectorial structure. DCM 2011: 1-15 - [c3]Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff:
Lower Bounds for Scalars in a Typed Algebraic λ-calculus. LSFA 2011: 16-29 - 2010
- [i1]Alejandro Díaz-Caro, Barbara Petit:
Sums in linear algebraic lambda-calculus. CoRR abs/1011.3542 (2010)
2000 – 2009
- 2009
- [c2]Pablo Arrighi, Alejandro Díaz-Caro:
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. QPL@MFPS 2009: 219-229 - 2008
- [c1]Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage:
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. QPL/DCM@ICALP 2008: 59-74
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-25 23:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint