Executable specifications for data-type constructors
Diagrammes, Tome 24 (1990), pp. 7-31. 
@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://www.numdam.org/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://www.numdam.org/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://www.numdam.org/item/DIA_1990__24__7_0/
%G en
%F DIA_1990__24__7_0
Gray, John W. Executable specifications for data-type constructors. Diagrammes, Tome 24 (1990), pp. 7-31. http://www.numdam.org/item/DIA_1990__24__7_0/

[1]: M. Barr and C. Wells, Toposes, Triples and Theories, Springer-Verlag, New York, 1985. | MR | Zbl

[2] : A. Bastiani and C. Ehresmann, Categories of sketched structures, Cahiers de Top. et Géom. Diff. 13 ( 1972), 103 - 214. | Numdam | MR | Zbl

[3] : J. Benabou, Structures algébrique dans les catégories, Cahiers de Top. et Géom. Diff. 10 ( 1968), 1 - 126. | Numdam | MR | Zbl

[4]: R. Burstall and D. Rydeheard, Computational Category Theory, preprint, 1985. | MR

[5]: L. Coppey and C. Lair, Leçons de Théorie des Esquisses (I), Diagrammes, Vol. 12, Paris, 1984. | Numdam | MR | Zbl

[6]: H. Ehrig, H.-J. Kreowski, J. W. Thatcher, E. G. Wagner and J. B. Wright, Parameter passing in algebraic specification languages. Theoretical Computer Science 28 ( 1984),45 - 81. | MR | Zbl

[7]: H. Ehrig and B. Mahr, Fundamentals of Algebraic Specifications I. Equations and Initial Semantics, EATCS Monographs 6, Springer- Verlag, New York 1985. | MR | Zbl

[8]: A. C. Ehresmann, Synopsis and comments, in : Charles Ehresmann, Oeuvres Complètes et Commentées, Part IV - 1, Supp. 1, Vol. XXII ( 1981), and Part N - 2, Supp. 2, Vol. XXIII ( 1982) to Cahiers de Top. et Géom. Diff.

[9]: P. Freyd, Algebra valued functors in general and tensor products in particular. Colloq. Math. 14 ( 1966), 89 - 106. | MR | Zbl

[10]: J. Goguen, Parameterized programming, IEEE Transactions on Software Engineering, Vol. SE-10, No.5, 1984, 528 - 543. | Zbl

[11]: J. Goguen and J. Meseguer, Initiality, induction, and computability, in Algebraic Methods in Semantics, M. Nivat and J. C. Reynolds (eds), Cambridge University Press, 1985. | MR | Zbl

[12]: J. W. Gray, Formal Category Theory: Adjointness for 2-Categories, Lecture Notes in Mathematics 391, Springer Verlag, New York, 1974. | MR | Zbl

[13]: J. W. Gray, Categorical aspects of data-type constructors, Theoretical Computer Science,50 ( 1987), 103-135 | MR | Zbl

[14]: J. W. Gray, The category of sketches as a model for algebraic semantics, in Categories in Computer Science and Logic, Contemporary Mathematics 92, Amer. Math. Soc. 1989, 109 - 135. | Zbl

[15]: G. M. Kelly, Structures defined by finite limits in the enriched context, 1, Cahiers de Top. et Géom. Diff. 23 ( 1982), 3 - 42. | Numdam | Zbl

[16]: G. M. Kelly, On the essentially-algebraic theory generated by a sketch. Bull. Australian Math. Soc. 26 ( 1982), 45 - 56. | Zbl

[17]: G. M. Kelly and R. Street, Lecture Notes in Mathematics 420, Springer-Verlag, New York, 1974.

[18]: C. Lair, Etude Générale de la Catégorie des Esquisses, Esquisses Mathématiques 23, Paris 1975, 1 - 62. | Zbl

[19]: J. Lambek, and P. J. Scott, Introduction to Higher Order Categorical Logic, Cambridge Univ. Press, 1986. | MR | Zbl

[20]: F. W. Lawvere, Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. 50 ( 1963), 869 - 872. | MR | Zbl

[21]: S. Mac Lane, Categories for the Working Mathematician, Springer Verlag New York, 1972. | MR | Zbl

[22]: J. C. Mitchell and P. J. Scott, Typed lambda models and cartesian closed categories, in Categories in Computer Science and Logic, Contemporary Mathematics 92, Amer Math. Soc. 1989, 301-316. | MR | Zbl

[23]: J. W. Thatcher, E. G. Wagner and J. B. Wright, Data type specifications: Parameterizations and the power of specification techniques, ACM Trans. on Programming Languages and Systems, 4( 1982), 711 - 732. | Zbl