pith. sign in

Alejandro D\'iaz-Caro

Identifiers

  • name variant Alejandro D\'iaz-Caro 0.60 · backfill

Papers (12)

  1. Confluence in Probabilistic Rewriting cs.LO · 2017 · author #1
  2. A lambda calculus for density matrices with classical and probabilistic controls cs.LO · 2017 · author #1
  3. Affine computation and affine automaton cs.FL · 2016 · author #1
  4. Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of lambda+ cs.LO · 2015 · author #1
  5. The probability of non-confluent systems cs.LO · 2014 · author #1
  6. The Vectorial $\lambda$-Calculus cs.LO · 2013 · author #2
  7. Normalisation of a Non-deterministic Type Isomorphic {\lambda}-calculus cs.LO · 2013 · author #1
  8. Non determinism through type isomorphism cs.LO · 2013 · author #1
  9. Confluence via strong normalisation in an algebraic \lambda-calculus with rewriting cs.LO · 2011 · author #2
  10. A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus cs.LO · 2010 · author #2
  11. Linearity in the non-deterministic call-by-value setting cs.LO · 2010 · author #1
  12. Measurements and confluence in quantum lambda calculi with explicit qubits quant-ph · 2008 · author #1

Mentions

  • 1404.0081 #1 · backfill · confidence 0.70 Alejandro D\'iaz-Caro
  • 1308.1138 #2 · backfill · confidence 0.70 Alejandro D\'iaz-Caro
  • 1306.5089 #1 · backfill · confidence 0.70 Alejandro D\'iaz-Caro
  • 1303.7334 #1 · backfill · confidence 0.70 Alejandro D\'iaz-Caro
  • 1102.0749 #2 · backfill · confidence 0.70 Alejandro D\'iaz-Caro
  • 1012.4032 #2 · backfill · confidence 0.70 Alejandro D\'iaz-Caro
  • 1011.3542 #1 · backfill · confidence 0.70 Alejandro D\'iaz-Caro
  • 0806.2447 #1 · backfill · confidence 0.70 Alejandro D\'iaz-Caro

Frequent Coauthors