Dependent Types for Extensive Games

Pierre Lescanne

Dependent Types for Extensive Games

Types dépendants pour les jeux extensifs

Pierre Lescanne ¹

1 LIP - Laboratoire de l'Informatique du Parallélisme

Document type :

Journal articles

Domain :

Computer Science [cs] / Computer Science and Game Theory [cs.GT]

Computer Science [cs] / Logic in Computer Science [cs.LO]

Mathematics [math] / Combinatorics [math.CO]

Mathematics [math] / Logic [math.LO]

Complete list of metadatas

https://hal-ens-lyon.archives-ouvertes.fr/ensl-01892386
Contributor : Pierre Lescanne <>
Submitted on : Wednesday, October 10, 2018 - 3:40:52 PM
Last modification on : Friday, February 8, 2019 - 10:41:07 AM

Dependent Types for Extensive Games

Types dépendants pour les jeux extensifs

Identifiers

Collections

Citation

Export

Metrics

43

Contact

en fr Dependent Types for Extensive Games Types dépendants pour les jeux extensifs

Identifiers

Collections

Citation

Export

Share

Metrics

43

Contact

Dependent Types for Extensive Games

Types dépendants pour les jeux extensifs