Isomorphism theorems between models of mixed choice - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2017

Isomorphism theorems between models of mixed choice

Fichier non déposé

Dates et versions

hal-03189640 , version 1 (04-04-2021)

Identifiants

Citer

Jean Goubault-Larrecq. Isomorphism theorems between models of mixed choice. Mathematical Structures in Computer Science, 2017, 27 (6), pp.1032-1067. ⟨10.1017/S0960129515000547⟩. ⟨hal-03189640⟩
41 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More