Pierre Hyvernat. A Logical Investigation of Interaction Systems. (Une investigation logique des systèmes d'interaction). PhD thesis, University of the Mediterranean, Marseille, France, 2005. [doi]
@phdthesis{hal-6830,
title = {A Logical Investigation of Interaction Systems. (Une investigation logique des systèmes d'interaction)},
author = {Pierre Hyvernat},
year = {2005},
url = {https://tel.archives-ouvertes.fr/tel-00387478},
researchr = {https://researchr.org/publication/hal-6830},
cites = {0},
citedby = {0},
school = {University of the Mediterranean, Marseille, France},
}