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}, }