Article Dans Une Revue
J. Formalized Reasoning
Année : 2018
Pierre Lescanne : Connectez-vous pour contacter le contributeur
https://ens-lyon.hal.science/ensl-01892386
Soumis le : mercredi 10 octobre 2018-15:40:52
Dernière modification le : mardi 16 avril 2024-11:17:02
Dates et versions
Identifiants
- HAL Id : ensl-01892386 , version 1
Citer
Pierre Lescanne. Dependent Types for Extensive Games. J. Formalized Reasoning, 2018. ⟨ensl-01892386⟩
82
Consultations
0
Téléchargements