Modeling dialogues in a dynamic theory of types - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

Modeling dialogues in a dynamic theory of types

Modelisation de dialogues dans une théorie des types dynamique

Fichier principal
Vignette du fichier
Seminaire_MB.pdf (128.53 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01831687 , version 1 (06-07-2018)

Identifiers

  • HAL Id : hal-01831687 , version 1

Cite

Maria Boritchev. Modeling dialogues in a dynamic theory of types. Séminaire des doctorantes et doctorants en informatique, Jun 2018, Paris, France. ⟨hal-01831687⟩
79 View
97 Download

Share

Gmail Facebook X LinkedIn More