%0 Thesis %1 phd/hal/Madiot15 %A Madiot, Jean-Marie %D 2015 %K dblp %T Higher-order languages : dualities and bisimulation enhancements. (Langages d'ordre supérieur : dualités et techniques de bisimulation).

@phdthesis{phd/hal/Madiot15, added-at = {2020-07-21T00:00:00.000+0200}, author = {Madiot, Jean-Marie}, biburl = {https://www.bibsonomy.org/bibtex/23b2148d19b753864a584250ccaa8d078/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-01141067}, interhash = {fc3fcf0a47bb4e7591c8f8867253fdb0}, intrahash = {3b2148d19b753864a584250ccaa8d078}, keywords = {dblp}, school = {École normale supérieure de Lyon, France}, timestamp = {2020-07-24T00:47:03.000+0200}, title = {Higher-order languages : dualities and bisimulation enhancements. (Langages d'ordre supérieur : dualités et techniques de bisimulation).}, year = 2015 }