Conferences in DBLP
Samson Abramsky Introduction. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:3-6 [Conf ] David H. Pitt Categories. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:6-15 [Conf ] 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 ] David E. Rydeheard Functors and Natural Transformations. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:43-50 [Conf ] David E. Rydeheard Adjunction. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:51-57 [Conf ] Axel Poigné Cartesian Closure - Higher Types in Categories. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:58-75 [Conf ] Axel Poigné Algebra Categorically. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:76-102 [Conf ] Axel Poigné Category Theory and Logic. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:103-142 [Conf ] Eric G. Wagner Categories, Data Types and Imperative Languages. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:143-162 [Conf ] Peter Dybjer Category Theory and Programming Language Semantics: an Overview. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:165-181 [Conf ] Ernest G. Manes Weakest Preconditions: Categorical Insights. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:182-197 [Conf ] Eric G. Wagner A Categorical View of Weakest Liberal Preconditions. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:198-205 [Conf ] Robert D. Tennent Functor - Category Semantics of Programming Languages and Logics. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:206-224 [Conf ] Michael B. Smyth Finite Approximation of Spaces. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:225-241 [Conf ] Eugenio Moggi Categories of Partial Morphisms and the lambdap - Calculus. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:242-251 [Conf ] Axel Poigné A Note on Distributive Laws and Power Domains. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:252-265 [Conf ] Glynn Winskel Category Theory and Models for Parallel Computation. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:266-281 [Conf ] Anna Labella , Alberto Pettorossi Categorical Models of Process Cooperation. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:282-298 [Conf ] 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 ] 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 ] Andrzej Tarlecki Bits and Pieces of the Theory of Institutions. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:334-365 [Conf ] 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 ] Horst Reichel Behavioral Program Specification. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:390-411 [Conf ] 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 ] Michael P. Fourman , Steven Vickers Theories as Categories. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:434-448 [Conf ] Paul Taylor 0002 Internal Completeness of Categories of Domains. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:449-465 [Conf ] 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 ] David E. Rydeheard , Rod M. Burstall A Categorical Unification Algorithm. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:493-505 [Conf ] David E. Rydeheard , Rod M. Burstall Computing with Categories. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:506-519 [Conf ]