@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 -
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] 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] Good Functor ... Are Those Preserving Philosophy, Proceedings Category theory and Computer Science, Springer Verlag, LNCS 283, 1987. | MR | Zbl
[Bido 88] The Stratified Loose Approach : A generalisation of Initial and Loose Semantics, Rapport de Recherche N° 402 LRI Univ. Paris-Sud (Orsay).
,[BiGa] 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] Structure of Abstract Algebra , Proc. Cambridge Philosophical Society, 31, 433-454, 1938. | JFM
,[Cohn 65] Universal algebra, Harper and Row, New-York, 1965. | MR | Zbl
.[Cope 78] Algèbres de décompositions et précatégories, Thèse de doctorat d'état, Université Picardie, Amiens 1978.
,[Ehre 65] Catégories et structures, Dunod, Paris, 1965. | MR | Zbl
,[Ehre 66] Introduction to the Theory Of Structured Categories,Tech. Report 10, Univ. of Kansas, Lawrence, 1966. | Zbl
,[Ehre 68] Esquisses et Types de Structures Algébriques; Bul., Institu., Polit, Iasi, XIV, 1968. | MR | Zbl
,[Ehre 85] Oeuvre complète et commentés, part I, édité par A.C. Ehresmann, Amiens 1985.
,[EhMa 85] Fundamentals of Algebraic Specification I, Equations and Initial Semantics, Springer-Verlag, 1985. | MR | Zbl
;[Gray 84] Categorical Aspects of Parametric Data Types; Seminabericht 20, Fem Universitat, Hagen, 1984.
;[Gray 86] The Category of Sketches as a Model for Algebraic Semantics, (preprint version). | MR | Zbl
,[GTWW 77] ADJ : 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] Calcul Syntaxique des Modèles et Calcul des formules internes; Diagrammes, VoL 4, 1980. | EuDML | Numdam | MR | Zbl
, ,[GuLa 82] Limites et Colimites pour Représenter les Formules, Diagrammes 7, Paris, 1982. | EuDML | Numdam | MR | Zbl
, ,[Gutt 75] Abstract data types and the Developement of data : Abstraction, Definition, and Structure , SIGPLAN Notices, 8, no 2, 1976.
,[Kapl 87] Positive/Negative Conditional Rewriting, Proceedings Category theory and Computer Science, Springer Verlag, LNCS ???, Orsay 1987. | MR | Zbl
,[Lair 75] Etude Générale de la catégorie des esquisses, Esquisses Mathématiques 23, Paris 1975. | MR | Zbl
,[Lair 77] Esquisse des Structures Algèbriques; Thèse de doctorat d'état en math., Univ. de Picardie 1977.
,[Lair 81] Catégories Modelables et Categorie Esquissable, Diagramme 6, paris 1981. | EuDML | Numdam | MR | Zbl
,[Lair 87] Esquisses, topos et Modèles , Cours de DEA, Univ. Paris VII, 1987.
,[Lawv 68] Some Algebraic Problems in the Context of Functorial Semantics of Algebraic Theory , Lect. Notes in Math. 61, Springer-Verlage, 1968. | MR | Zbl
,[LeJo] An Algebraic Approach To Relational data Bases; Proceedings of the Third Symposium on Computer and Information Sciences (ISCIS); Cesme, Izmir, Turkey, 1988.
, ;[Lell 87] 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] Categories for the working Mathematician, Springer-Verlag , New York, 1971. | MR | Zbl
,[MaHu 85] Precision Descriptions Of Software Designs : an example , IEEE Compsac, 130-136, 1985.
and ,[MaPa 87] Accessible Categories : The fondation of categorical Model Theory , Technical Report, Dept. of Math, and Stat. , Univ. Mc Gill, 1987. | MR | Zbl
, ,[SSE 87] Object-Oriented Specification of Data-Bases, An Algebraic Approch, VLDB 1987,107-116.
, , ,[Wagn 86] Algebraic Theories, Data Types, and Control Constructors; Fundementa Informatica IX ( 1986), 343-370. | MR | Zbl
.[WeBa 87] A Formal Description of Data Type Using Sketches; Proceedings Category theory and Computer Science, Springer Verlag, LNCS 283, 1987. | Zbl
, , ;[Zill 74] Algebraic specification of data types, Project MAC progress Report 11, MIT, Cambridge, Mass, 28-52, 1974.
,