Alejandro Díaz-Caro

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Gilles Dowek

> Home > Persons > Alejandro Díaz-Caro

Publications

2024
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/DiazCaroDIM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/DiazCaroDIM24
Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe:
A Linear Proof Language for Second-Order Intuitionistic Linear Logic. WoLLIC 2024: 18-35
2023
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/DiazCaroD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DiazCaroD23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/DiazCaroD23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DiazCaroD23a
Alejandro Díaz-Caro, Gilles Dowek:
Extensional proofs in a propositional logic modulo isomorphisms. Theor. Comput. Sci. 977: 114172 (2023)
[i23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-08517
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-08517
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)
2022
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fscd/Diaz-CaroD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/Diaz-CaroD22
Alejandro Díaz-Caro, Gilles Dowek:
Linear Lambda-Calculus is Linear. FSCD 2022: 21:1-21:17
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-11221
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-11221
Alejandro Díaz-Caro, Gilles Dowek:
Linear lambda-calculus is linear. CoRR abs/2201.11221 (2022)
2021
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Diaz-CaroD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Diaz-CaroD21
Alejandro Díaz-Caro, Gilles Dowek:
A New Connective in Natural Deduction, and Its Application to Quantum Computing. ICTAC 2021: 175-193
2020
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-03762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-03762
Alejandro Díaz-Caro, Gilles Dowek:
Extensional proofs in a propositional logic modulo isomorphisms. CoRR abs/2002.03762 (2020)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-08994
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-08994
Alejandro Díaz-Caro, Gilles Dowek:
A New Connective in Natural Deduction, and its Application to Quantum Computing. CoRR abs/2012.08994 (2020)
2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/biosystems/Diaz-CaroDR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/biosystems/Diaz-CaroDR19
Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi:
Two linearities for quantum computing in the lambda calculus. Biosyst. 186 (2019)
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/Diaz-CaroD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Diaz-CaroD19
Alejandro Díaz-Caro, Gilles Dowek:
Proof Normalisation in a Logic Identifying Isomorphic Propositions. FSCD 2019: 14:1-14:23
2017
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/tpnc/Diaz-CaroD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tpnc/Diaz-CaroD17
Alejandro Díaz-Caro, Gilles Dowek:
Typing Quantum Superpositions and Measurement. TPNC 2017: 281-293
2016
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Diaz-CaroD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Diaz-CaroD16
Alejandro Díaz-Caro, Gilles Dowek:
Quantum superpositions and projective measurement in the lambda calculus. CoRR abs/1601.04294 (2016)
2013
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Diaz-CaroD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Diaz-CaroD14
Alejandro Díaz-Caro, Gilles Dowek:
The probability of non-confluent systems. DCM 2013: 1-15
2012
[c5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7334
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7334
Alejandro Díaz-Caro, Gilles Dowek:
Non determinism through type isomorphism. LSFA 2012: 137-144

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.