Conferences in DBLP

Category Theory and Computer Science (ctcs)
1985 (conf/ctcs/1985)

1. Samson Abramsky
   Introduction. [Citation Graph (0, 0)][DBLP]
   CTCS, 1985, pp:3-6 [Conf]
   
2. David H. Pitt
   Categories. [Citation Graph (0, 0)][DBLP]
   CTCS, 1985, pp:6-15 [Conf]
   
3. Axel Poigné
   Elements of Categorical Reasoning: Products and Coproducts and some other (Co-) Limits. [Citation Graph (0, 0)][DBLP]
   CTCS, 1985, pp:16-42 [Conf]
   
4. David E. Rydeheard
   Functors and Natural Transformations. [Citation Graph (0, 0)][DBLP]
   CTCS, 1985, pp:43-50 [Conf]
   
5. David E. Rydeheard
   Adjunction. [Citation Graph (0, 0)][DBLP]
   CTCS, 1985, pp:51-57 [Conf]
   
6. Axel Poigné
   Cartesian Closure - Higher Types in Categories. [Citation Graph (0, 0)][DBLP]
   CTCS, 1985, pp:58-75 [Conf]
   
7. Axel Poigné
   Algebra Categorically. [Citation Graph (0, 0)][DBLP]
   CTCS, 1985, pp:76-102 [Conf]
   
8. Axel Poigné
   Category Theory and Logic. [Citation Graph (0, 0)][DBLP]
   CTCS, 1985, pp:103-142 [Conf]
   
9. Eric G. Wagner
   Categories, Data Types and Imperative Languages. [Citation Graph (0, 0)][DBLP]
   CTCS, 1985, pp:143-162 [Conf]
   
10. Peter Dybjer
    Category Theory and Programming Language Semantics: an Overview. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:165-181 [Conf]
    
11. Ernest G. Manes
    Weakest Preconditions: Categorical Insights. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:182-197 [Conf]
    
12. Eric G. Wagner
    A Categorical View of Weakest Liberal Preconditions. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:198-205 [Conf]
    
13. Robert D. Tennent
    Functor - Category Semantics of Programming Languages and Logics. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:206-224 [Conf]
    
14. Michael B. Smyth
    Finite Approximation of Spaces. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:225-241 [Conf]
    
15. Eugenio Moggi
    Categories of Partial Morphisms and the lambda^p - Calculus. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:242-251 [Conf]
    
16. Axel Poigné
    A Note on Distributive Laws and Power Domains. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:252-265 [Conf]
    
17. Glynn Winskel
    Category Theory and Models for Parallel Computation. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:266-281 [Conf]
    
18. Anna Labella, Alberto Pettorossi
    Categorical Models of Process Cooperation. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:282-298 [Conf]
    
19. Austin Melton, David A. Schmidt, George E. Strecker
    Calois Connections and Computer Science Applications. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:299-312 [Conf]
    
20. Joseph A. Goguen, Rod M. Burstall
    A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:313-333 [Conf]
    
21. Andrzej Tarlecki
    Bits and Pieces of the Theory of Institutions. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:334-365 [Conf]
    
22. Donald Sannella, Andrzej Tarlecki
    Extended ML: an Institution - Independent Framework for Formal Program Development. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:364-389 [Conf]
    
23. Horst Reichel
    Behavioral Program Specification. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:390-411 [Conf]
    
24. Hans-Dieter Ehrich
    Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:412-433 [Conf]
    
25. Michael P. Fourman, Steven Vickers
    Theories as Categories. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:434-448 [Conf]
    
26. Paul Taylor 0002
    Internal Completeness of Categories of Domains. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:449-465 [Conf]
    
27. John Cartmell
    Formalizing the Network and Hierarchical Data Models - an Application of Categorical Logic. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:466-492 [Conf]
    
28. David E. Rydeheard, Rod M. Burstall
    A Categorical Unification Algorithm. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:493-505 [Conf]
    
29. David E. Rydeheard, Rod M. Burstall
    Computing with Categories. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:506-519 [Conf]