Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation

Tom Hirschowitz. Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation. 2016. [doi]

@book{Hirschowitz16,
  title = {Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation},
  author = {Tom Hirschowitz},
  year = {2016},
  url = {https://tel.archives-ouvertes.fr/tel-01400666},
  researchr = {https://researchr.org/publication/Hirschowitz16},
  cites = {0},
  citedby = {0},
}