1. Category Theory and Computer Science 1985: Guildford, UK

David H. Pitt, Samson Abramsky, Axel Poigné, David E. Rydeheard (Eds.): Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings. Lecture Notes in Computer Science 240 Springer 1986, ISBN 3-540-17162-2

@proceedings{DBLP:conf/ctcs/1985,
  editor    = {David H. Pitt and
               Samson Abramsky and
               Axel Poign{\'e} and
               David E. Rydeheard},
  title     = {Category Theory and Computer Programming, Tutorial and Workshop,
               Guildford, UK, September 16-20, 1985 Proceedings},
  booktitle = {CTCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {240},
  year      = {1986},
  isbn      = {3-540-17162-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Tutorials

Samson Abramsky: Introduction. 3-6
David H. Pitt:
Categories. 6-15
Axel Poigné:
Elements of Categorical Reasoning: Products and Coproducts and some other (Co-) Limits. 16-42
David E. Rydeheard:
Functors and Natural Transformations. 43-50
David E. Rydeheard:
Adjunction. 51-57
Axel Poigné:
Cartesian Closure - Higher Types in Categories. 58-75
Axel Poigné:
Algebra Categorically. 76-102
Axel Poigné:
Category Theory and Logic. 103-142
Eric G. Wagner:
Categories, Data Types and Imperative Languages. 143-162

Research Contributions

Semantics

Peter Dybjer:
Category Theory and Programming Language Semantics: an Overview. 165-181
Ernest G. Manes:
Weakest Preconditions: Categorical Insights. 182-197
Eric G. Wagner:
A Categorical View of Weakest Liberal Preconditions. 198-205
Robert D. Tennent:
Functor - Category Semantics of Programming Languages and Logics. 206-224
Michael B. Smyth:
Finite Approximation of Spaces. 225-241
Eugenio Moggi:
Categories of Partial Morphisms and the lambda^p - Calculus. 242-251
Axel Poigné:
A Note on Distributive Laws and Power Domains. 252-265
Glynn Winskel:
Category Theory and Models for Parallel Computation. 266-281
Anna Labella, Alberto Pettorossi:
Categorical Models of Process Cooperation. 282-298
Austin Melton, David A. Schmidt, George E. Strecker:
Calois Connections and Computer Science Applications. 299-312

Specification

Joseph A. Goguen, Rod M. Burstall:
A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments. 313-333
Andrzej Tarlecki:
Bits and Pieces of the Theory of Institutions. 334-365
Donald Sannella, Andrzej Tarlecki:
Extended ML: an Institution - Independent Framework for Formal Program Development. 364-389
Horst Reichel:
Behavioral Program Specification. 390-411
Hans-Dieter Ehrich:
Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. 412-433

Categorical Logic

Michael P. Fourman, Steven Vickers:
Theories as Categories. 434-448
Paul Taylor:
Internal Completeness of Categories of Domains. 449-465
John Cartmell:
Formalizing the Network and Hierarchical Data Models - an Application of Categorical Logic. 466-492

Categorical Programming

David E. Rydeheard, Rod M. Burstall:
A Categorical Unification Algorithm. 493-505
David E. Rydeheard, Rod M. Burstall:
Computing with Categories. 506-519

Last update Thu May 24 04:15:37 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page