Modeling dialogues in a dynamic theory of types - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2018

Modeling dialogues in a dynamic theory of types

Modelisation de dialogues dans une théorie des types dynamique

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
Seminaire_MB.pdf (128.53 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Maria Boritchev  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01831687

Soumis le : vendredi 6 juillet 2018-10:20:35

Dernière modification le : lundi 11 septembre 2023-17:41:18

Archivage à long terme le : mardi 2 octobre 2018-03:45:01

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-01831687 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-NLPKD
86 Consultations
109 Téléchargements

Partager

More