A short proof of the Schröder–Simpson Theorem - 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 : 2015

A short proof of the Schröder–Simpson Theorem

Fichier non déposé

Dates et versions

hal-03189819 , version 1 (05-04-2021)

Identifiants

Citer

Jean Goubault-Larrecq. A short proof of the Schröder–Simpson Theorem. Mathematical Structures in Computer Science, 2015, 25 (1), pp.1-5. ⟨10.1017/S0960129513000467⟩. ⟨hal-03189819⟩
25 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More