Geodesic
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.

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

MR Zbl 
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/
@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},
     year = {2009},
     publisher = {Andr\'ee CHARLES EHRESMANN},
     volume = {50},
     number = {1},
     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
%] 2
%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