Geodesic
Executable specifications for data-type constructors
Diagrammes, Actes Volume 3. Journées d'études esquisses, logique et informatique théorique, Tome 24 (1990), pp. 7-31

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

@article{DIA_1990__24__7_0,
     author = {Gray, John W.},
     title = {Executable specifications for data-type constructors},
     journal = {Diagrammes},
     pages = {7--31},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {24},
     year = {1990},
     zbl = {0792.68101},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DIA_1990__24__7_0/}
}
TY  - JOUR
AU  - Gray, John W.
TI  - Executable specifications for data-type constructors
JO  - Diagrammes
PY  - 1990
SP  - 7
EP  - 31
VL  - 24
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://geodesic.mathdoc.fr/item/DIA_1990__24__7_0/
LA  - en
ID  - DIA_1990__24__7_0
ER  - 
%0 Journal Article
%A Gray, John W.
%T Executable specifications for data-type constructors
%J Diagrammes
%D 1990
%P 7-31
%V 24
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://geodesic.mathdoc.fr/item/DIA_1990__24__7_0/
%G en
%F DIA_1990__24__7_0
Gray, John W. Executable specifications for data-type constructors. Diagrammes, Actes Volume 3. Journées d'études esquisses, logique et informatique théorique, Tome 24 (1990), pp. 7-31. http://geodesic.mathdoc.fr/item/DIA_1990__24__7_0/