Geodesic
Substitution up to isomorphism
Diagrammes, Actes Volume 2. Journées d'études esquisses, logique et informatique théorique, Tome 23 (1990), pp. 43-66

Voir la notice de l'article provenant de la source Numdam

@article{DIA_1990__23__43_0,
     author = {Curien, P.-L.},
     title = {Substitution up to isomorphism},
     journal = {Diagrammes},
     pages = {43--66},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {23},
     year = {1990},
     mrnumber = {1082997},
     zbl = {0715.03029},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DIA_1990__23__43_0/}
}
TY  - JOUR
AU  - Curien, P.-L.
TI  - Substitution up to isomorphism
JO  - Diagrammes
PY  - 1990
SP  - 43
EP  - 66
VL  - 23
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://geodesic.mathdoc.fr/item/DIA_1990__23__43_0/
LA  - en
ID  - DIA_1990__23__43_0
ER  - 
%0 Journal Article
%A Curien, P.-L.
%T Substitution up to isomorphism
%J Diagrammes
%D 1990
%P 43-66
%V 23
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://geodesic.mathdoc.fr/item/DIA_1990__23__43_0/
%G en
%F DIA_1990__23__43_0
Curien, P.-L. Substitution up to isomorphism. Diagrammes, Actes Volume 2. Journées d'études esquisses, logique et informatique théorique, Tome 23 (1990), pp. 43-66. http://geodesic.mathdoc.fr/item/DIA_1990__23__43_0/