Logique non-commutative et programmation concurrente. Thése de doctorat, spécialité logique et fondements de l’informatique, Université Paris 7 (1997)

by Paul Ruet