BibTeX record phd/hal/Alberti14

download as .bib file

@phdthesis{DBLP:phd/hal/Alberti14,
  author       = {Michele Alberti},
  title        = {On operational properties of quantitative extensions of {\(\lambda\)}-calculus},
  school       = {Aix-Marseille University, Aix-en-Provence, France},
  year         = {2014},
  url          = {https://tel.archives-ouvertes.fr/tel-01096067},
  timestamp    = {Tue, 21 Jul 2020 00:40:51 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Alberti14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics