Dependent Types for Extensive Games - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue J. Formalized Reasoning Année : 2018

Dependent Types for Extensive Games

Types dépendants pour les jeux extensifs

Fichier non déposé

Dates et versions

ensl-01892386 , version 1 (10-10-2018)

Identifiants

  • HAL Id : ensl-01892386 , version 1

Citer

Pierre Lescanne. Dependent Types for Extensive Games. J. Formalized Reasoning, 2018. ⟨ensl-01892386⟩
66 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More