par Bonheure, Denis ;Di Cosmo, Jonathan ;Mercuri, Carlo
Référence Communications in Contemporary Mathematics, 14, 2, page (1-31)
Publication Publié, 2012
Référence Communications in Contemporary Mathematics, 14, 2, page (1-31)
Publication Publié, 2012
Article révisé par les pairs