Categorical abstract data type (CADT)

 Access to full text

 Full (PDF)

1. [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. 
2. [Bem 87] G. BERNOT.Good Functor ... Are Those Preserving Philosophy, Proceedings Category theory and Computer Science, Springer Verlag, LNCS 283, 1987. Zbl0639.68022MR925230
3. [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). Zbl0659.68019
4. [BiGa] M. BIDOIT, M.C. GAUDELSpé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. 
5. [Birk 38] G. BIRKOFF, Structure of Abstract Algebra , Proc. Cambridge Philosophical Society, 31, 433-454, 1938. JFM61.1026.07
6. [Cohn 65] P.M. COHN. Universal algebra, Harper and Row, New-York, 1965. Zbl0141.01002MR175948
7. [Cope 78] L. Coppey, Algèbres de décompositions et précatégories, Thèse de doctorat d'état, Université Picardie, Amiens 1978. 
8. [Ehre 65] Ch. EHRESMANN, Catégories et structures, Dunod, Paris, 1965. Zbl0192.09803MR213410
9. [Ehre 66] Ch. EHRESMANN, Introduction to the Theory Of Structured Categories,Tech. Report 10, Univ. of Kansas, Lawrence, 1966. Zbl0192.10001
10. [Ehre 68] Ch. EHRESMANN, Esquisses et Types de Structures Algébriques; Bul., Institu., Polit, Iasi, XIV, 1968. Zbl0196.03102MR238918
11. [Ehre 85] Ch. EHRESMANN, Oeuvre complète et commentés, part I, édité par A.C. Ehresmann, Amiens 1985. 
12. [EhMa 85] H. EHRIG B. MAHR; Fundamentals of Algebraic Specification I, Equations and Initial Semantics, Springer-Verlag, 1985. Zbl0557.68013MR788495
13. [Gray 84] J.W. Gray; Categorical Aspects of Parametric Data Types; Seminabericht 20, Fem Universitat, Hagen, 1984. 
14. [Gray 86] J.W. Gray, The Category of Sketches as a Model for Algebraic Semantics, (preprint version). Zbl0688.68077MR1003198
15. [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. 
16. [GuLa 80] R. GUITART, C. LAIR, Calcul Syntaxique des Modèles et Calcul des formules internes; Diagrammes, VoL 4, 1980. Zbl0508.03030MR684746
17. [GuLa 82] R. GUITART, C. LAIR, Limites et Colimites pour Représenter les Formules, Diagrammes 7, Paris, 1982. Zbl0535.03013
18. [Gutt 75] J.V. GUTTAG, Abstract data types and the Developement of data : Abstraction, Definition, and Structure , SIGPLAN Notices, 8, no 2, 1976. 
19. [Kapl 87] S. KAPLAN, Positive/Negative Conditional Rewriting, Proceedings Category theory and Computer Science, Springer Verlag, LNCS ???, Orsay 1987. Zbl0666.68098MR1023442
20. [Lair 75] C. LAIR, Etude Générale de la catégorie des esquisses, Esquisses Mathématiques 23, Paris 1975. Zbl0397.18007MR422385
21. [Lair 77] C. LAIR, Esquisse des Structures Algèbriques; Thèse de doctorat d'état en math., Univ. de Picardie 1977. 
22. [Lair 81] C. LAIR, Catégories Modelables et Categorie Esquissable, Diagramme 6, paris 1981. Zbl0522.18008MR684535
23. [Lair 87] C. LAIR, Esquisses, topos et Modèles , Cours de DEA, Univ. Paris VII, 1987. 
24. [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. Zbl0204.33802MR231882
25. [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. 
26. [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. 
27. [MacL 71] S. MAC LANE, Categories for the working Mathematician, Springer-Verlag , New York, 1971. Zbl0232.18001MR1712872
28. [MaHu 85] P. MATEI and F. HUNT, Precision Descriptions Of Software Designs : an example , IEEE Compsac, 130-136, 1985. 
29. [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. Zbl0703.03042MR1031717
30. [SSE 87] A. SERNADA, C. SERNADA, H.D. EHRICH, Object-Oriented Specification of Data-Bases, An Algebraic Approch, VLDB 1987,107-116. 
31. [Wagn 86] E. WAGNER. Algebraic Theories, Data Types, and Control Constructors; Fundementa Informatica IX ( 1986), 343-370. Zbl0617.68021MR862701
32. [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. 
33. [Zill 74] S.N. ZELLES, Algebraic specification of data types, Project MAC progress Report 11, MIT, Cambridge, Mass, 28-52, 1974. 

1. E. Touratier, Étude du typage dans le système de calcul scientifique Aldor