Voir la notice de l'article provenant de la source Numdam
@article{CTGDC_2009__50_1_23_0,
author = {Milius, Stefan and Moss, Lawrence S.},
title = {Equational properties of recursive program scheme solutions},
journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
eid = {2},
pages = {23--66},
publisher = {Andr\'ee CHARLES EHRESMANN},
volume = {50},
number = {1},
year = {2009},
mrnumber = {2512521},
zbl = {1170.68009},
language = {en},
url = {http://geodesic.mathdoc.fr/item/CTGDC_2009__50_1_23_0/}
}
TY - JOUR AU - Milius, Stefan AU - Moss, Lawrence S. TI - Equational properties of recursive program scheme solutions JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 2009 SP - 23 EP - 66 VL - 50 IS - 1 PB - Andrée CHARLES EHRESMANN UR - http://geodesic.mathdoc.fr/item/CTGDC_2009__50_1_23_0/ LA - en ID - CTGDC_2009__50_1_23_0 ER -
%0 Journal Article %A Milius, Stefan %A Moss, Lawrence S. %T Equational properties of recursive program scheme solutions %J Cahiers de Topologie et Géométrie Différentielle Catégoriques %D 2009 %P 23-66 %V 50 %N 1 %I Andrée CHARLES EHRESMANN %U http://geodesic.mathdoc.fr/item/CTGDC_2009__50_1_23_0/ %G en %F CTGDC_2009__50_1_23_0
Milius, Stefan; Moss, Lawrence S. Equational properties of recursive program scheme solutions. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 50 (2009) no. 1, article no. 2, 44 p.. http://geodesic.mathdoc.fr/item/CTGDC_2009__50_1_23_0/