Isomorphism theorems between models of mixed choice - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Mathematical Structures in Computer Science Year : 2017

Isomorphism theorems between models of mixed choice

No file

Dates and versions

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

Identifiers

Cite

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⟩
39 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More