Categorical abstract data type (CADT)
Diagrammes, Tome 21 (1989), Exposé no. 6, 23 p.
@article{DIA_1989__21__A6_0,
     author = {Lellahi, S. K.},
     title = {Categorical abstract data type {(CADT)}},
     journal = {Diagrammes},
     note = {talk:6},
     pages = {SK1--SK23},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {21},
     year = {1989},
     mrnumber = {1021091},
     zbl = {0678.68014},
     language = {en},
     url = {http://archive.numdam.org/item/DIA_1989__21__A6_0/}
}
TY  - JOUR
AU  - Lellahi, S. K.
TI  - Categorical abstract data type (CADT)
JO  - Diagrammes
N1  - talk:6
PY  - 1989
SP  - SK1
EP  - SK23
VL  - 21
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://archive.numdam.org/item/DIA_1989__21__A6_0/
LA  - en
ID  - DIA_1989__21__A6_0
ER  - 
%0 Journal Article
%A Lellahi, S. K.
%T Categorical abstract data type (CADT)
%J Diagrammes
%Z talk:6
%D 1989
%P SK1-SK23
%V 21
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://archive.numdam.org/item/DIA_1989__21__A6_0/
%G en
%F DIA_1989__21__A6_0
Lellahi, S. K. Categorical abstract data type (CADT). Diagrammes, Tome 21 (1989), Exposé no. 6, 23 p. http://archive.numdam.org/item/DIA_1989__21__A6_0/

[Bem 86] G. Bernot. Une semantique pour une spécification différenciée des exceptions et des Erreurs,.... Thèse de doctorat de 3e cycle, Université Paris-Sud (Orsay), 1986.

[Bem 87] G. Bernot. Good Functor ... Are Those Preserving Philosophy, Proceedings Category theory and Computer Science, Springer Verlag, LNCS 283, 1987. | MR | Zbl

[Bido 88] M. Bidoit, The Stratified Loose Approach : A generalisation of Initial and Loose Semantics, Rapport de Recherche N° 402 LRI Univ. Paris-Sud (Orsay).

[BiGa] M. Bidoit, M.C. Gaudel Spécification des cas Exceptions dans les Types Abstraits Algébriques : Problèmes et perspectives, Rapport de Recherche N° 146 LRI, Univ. Paris-Sud (Orsay) 1983.

[Birk 38] G. Birkoff, Structure of Abstract Algebra , Proc. Cambridge Philosophical Society, 31, 433-454, 1938. | JFM

[Cohn 65] P.M. Cohn. Universal algebra, Harper and Row, New-York, 1965. | MR | Zbl

[Cope 78] L. Coppey, Algèbres de décompositions et précatégories, Thèse de doctorat d'état, Université Picardie, Amiens 1978.

[Ehre 65] Ch. Ehresmann, Catégories et structures, Dunod, Paris, 1965. | MR | Zbl

[Ehre 66] Ch. Ehresmann, Introduction to the Theory Of Structured Categories,Tech. Report 10, Univ. of Kansas, Lawrence, 1966. | Zbl

[Ehre 68] Ch. Ehresmann, Esquisses et Types de Structures Algébriques; Bul., Institu., Polit, Iasi, XIV, 1968. | MR | Zbl

[Ehre 85] Ch. Ehresmann, Oeuvre complète et commentés, part I, édité par A.C. Ehresmann, Amiens 1985.

[EhMa 85] H. Ehrig B. Mahr; Fundamentals of Algebraic Specification I, Equations and Initial Semantics, Springer-Verlag, 1985. | MR | Zbl

[Gray 84] J.W. Gray; Categorical Aspects of Parametric Data Types; Seminabericht 20, Fem Universitat, Hagen, 1984.

[Gray 86] J.W. Gray, The Category of Sketches as a Model for Algebraic Semantics, (preprint version). | MR | Zbl

[GTWW 77] ADJ : I.A. Goguen, J.W. Thacher, E.G. Wagner, J.B. Wright, Abstract Data Types and Initial Algebra and the Correctness of Data Representations. Proceedings of the Conference on Computer Graphics, Pattern Recognition and Data Structures, 1975.

[GuLa 80] R. Guitart, C. Lair, Calcul Syntaxique des Modèles et Calcul des formules internes; Diagrammes, VoL 4, 1980. | EuDML | Numdam | MR | Zbl

[GuLa 82] R. Guitart, C. Lair, Limites et Colimites pour Représenter les Formules, Diagrammes 7, Paris, 1982. | EuDML | Numdam | MR | Zbl

[Gutt 75] J.V. Guttag, Abstract data types and the Developement of data : Abstraction, Definition, and Structure , SIGPLAN Notices, 8, no 2, 1976.

[Kapl 87] S. Kaplan, Positive/Negative Conditional Rewriting, Proceedings Category theory and Computer Science, Springer Verlag, LNCS ???, Orsay 1987. | MR | Zbl

[Lair 75] C. Lair, Etude Générale de la catégorie des esquisses, Esquisses Mathématiques 23, Paris 1975. | MR | Zbl

[Lair 77] C. Lair, Esquisse des Structures Algèbriques; Thèse de doctorat d'état en math., Univ. de Picardie 1977.

[Lair 81] C. Lair, Catégories Modelables et Categorie Esquissable, Diagramme 6, paris 1981. | EuDML | Numdam | MR | Zbl

[Lair 87] C. Lair, Esquisses, topos et Modèles , Cours de DEA, Univ. Paris VII, 1987.

[Lawv 68] F.W. Lawvere, Some Algebraic Problems in the Context of Functorial Semantics of Algebraic Theory , Lect. Notes in Math. 61, Springer-Verlage, 1968. | MR | Zbl

[LeJo] S.K. Lellahi, G. Jomier; An Algebraic Approach To Relational data Bases; Proceedings of the Third Symposium on Computer and Information Sciences (ISCIS); Cesme, Izmir, Turkey, 1988.

[Lell 87] S.K. Lellahi, Types abstraits catégoriques : Une Extension des Types Abstraits Algébriques, Rapport de Recherche N° 63 ISEM, Univ. Paris-Sud (Orsay), Novembre 1987.

[MacL 71] S. Mac Lane, Categories for the working Mathematician, Springer-Verlag , New York, 1971. | MR | Zbl

[MaHu 85] P. Matei and F. Hunt, Precision Descriptions Of Software Designs : an example , IEEE Compsac, 130-136, 1985.

[MaPa 87] M. Makkai, R. Pare, Accessible Categories : The fondation of categorical Model Theory , Technical Report, Dept. of Math, and Stat. , Univ. Mc Gill, 1987. | MR | Zbl

[SSE 87] A. Sernada, C. Sernada, H.D. Ehrich, Object-Oriented Specification of Data-Bases, An Algebraic Approch, VLDB 1987,107-116.

[Wagn 86] E. Wagner. Algebraic Theories, Data Types, and Control Constructors; Fundementa Informatica IX ( 1986), 343-370. | MR | Zbl

[WeBa 87] C. Wells, M. Barr, ; A Formal Description of Data Type Using Sketches; Proceedings Category theory and Computer Science, Springer Verlag, LNCS 283, 1987. | Zbl

[Zill 74] S.N. Zelles, Algebraic specification of data types, Project MAC progress Report 11, MIT, Cambridge, Mass, 28-52, 1974.