@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://archive.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://archive.numdam.org/item/DIA_1990__24__7_0/ LA - en ID - DIA_1990__24__7_0 ER -
Gray, John W. Executable specifications for data-type constructors. Diagrammes, Volume 24 (1990), pp. 7-31. http://archive.numdam.org/item/DIA_1990__24__7_0/
[1]: Toposes, Triples and Theories, Springer-Verlag, New York, 1985. | MR | Zbl
and ,[2] : Categories of sketched structures, Cahiers de Top. et Géom. Diff. 13 ( 1972), 103 - 214. | Numdam | MR | Zbl
and ,[3] : Structures algébrique dans les catégories, Cahiers de Top. et Géom. Diff. 10 ( 1968), 1 - 126. | Numdam | MR | Zbl
,[4]: Computational Category Theory, preprint, 1985. | MR
and ,[5]: Leçons de Théorie des Esquisses (I), Diagrammes, Vol. 12, Paris, 1984. | Numdam | MR | Zbl
and ,[6]: Parameter passing in algebraic specification languages. Theoretical Computer Science 28 ( 1984),45 - 81. | MR | Zbl
, , , and ,[7]: Fundamentals of Algebraic Specifications I. Equations and Initial Semantics, EATCS Monographs 6, Springer- Verlag, New York 1985. | MR | Zbl
and ,[8]: 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]: Algebra valued functors in general and tensor products in particular. Colloq. Math. 14 ( 1966), 89 - 106. | MR | Zbl
,[10]:Parameterized programming, IEEE Transactions on Software Engineering, Vol. SE-10, No.5, 1984, 528 - 543. | Zbl
,[11]: Initiality, induction, and computability, in Algebraic Methods in Semantics, M. Nivat and J. C. Reynolds (eds), Cambridge University Press, 1985. | MR | Zbl
and ,[12]: Formal Category Theory: Adjointness for 2-Categories, Lecture Notes in Mathematics 391, Springer Verlag, New York, 1974. | MR | Zbl
,[13]: Categorical aspects of data-type constructors, Theoretical Computer Science,50 ( 1987), 103-135 | MR | Zbl
,[14]: 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]: Structures defined by finite limits in the enriched context, 1, Cahiers de Top. et Géom. Diff. 23 ( 1982), 3 - 42. | Numdam | Zbl
,[16]: On the essentially-algebraic theory generated by a sketch. Bull. Australian Math. Soc. 26 ( 1982), 45 - 56. | Zbl
,[17]: Lecture Notes in Mathematics 420, Springer-Verlag, New York, 1974.
and ,[18]: Etude Générale de la Catégorie des Esquisses, Esquisses Mathématiques 23, Paris 1975, 1 - 62. | Zbl
,[19]: Introduction to Higher Order Categorical Logic, Cambridge Univ. Press, 1986. | MR | Zbl
, and ,[20]: Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. 50 ( 1963), 869 - 872. | MR | Zbl
,[21]: Categories for the Working Mathematician, Springer Verlag New York, 1972. | MR | Zbl
,[22]: 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
and ,[23]: Data type specifications: Parameterizations and the power of specification techniques, ACM Trans. on Programming Languages and Systems, 4( 1982), 711 - 732. | Zbl
, and ,