Jean-Marie Madiot. Higher-order languages : dualities and bisimulation enhancements. (Langages d'ordre supérieur : dualités et techniques de bisimulation). PhD thesis, École normale supérieure de Lyon, France, 2015. [doi]
@phdthesis{hal-13653,
title = {Higher-order languages : dualities and bisimulation enhancements. (Langages d'ordre supérieur : dualités et techniques de bisimulation)},
author = {Jean-Marie Madiot},
year = {2015},
url = {https://tel.archives-ouvertes.fr/tel-01141067},
researchr = {https://researchr.org/publication/hal-13653},
cites = {0},
citedby = {0},
school = {École normale supérieure de Lyon, France},
}