Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

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 Pablo Arrighi

> Home > Persons > Alejandro Díaz-Caro

Publications

2017
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/ArrighiDV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ArrighiDV17
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
The vectorial λ-calculus. Inf. Comput. 254: 105-139 (2017)
2013
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ArrighiDV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ArrighiDV13
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
The Vectorial Lambda-Calculus. CoRR abs/1308.1138 (2013)
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0903-3741
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0903-3741
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)
2011
[c4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1012-4032
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1012-4032
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
2009
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ArrighiD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ArrighiD11
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Diaz-CaroAGG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Diaz-CaroAGG11
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

a service of

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.