Concurrency, references and linear logic. (Concurrences, Références et Logique Linéaire) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Yann Hamdaoui. Concurrency, references and linear logic. (Concurrences, Références et Logique Linéaire). PhD thesis, Sorbonne Paris Cité, France, 2018. [doi]

@phdthesis{hal-13008,
  title = {Concurrency, references and linear logic. (Concurrences, Références et Logique Linéaire)},
  author = {Yann Hamdaoui},
  year = {2018},
  url = {https://tel.archives-ouvertes.fr/tel-02448116},
  researchr = {https://researchr.org/publication/hal-13008},
  cites = {0},
  citedby = {0},
  school = {Sorbonne Paris Cité, France},
}

runs on WebDSL