%A D.H. Pitt
%T Categories
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 6-15
%K tutorial

%A A. Poigne
%T Elements of categorical reasoning:
products and coproducts and some other (Co-)limits
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 16-42
%K tutorial

%A D.E. Rydeheard
%T Functors and natural transformations
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 43-50
%K tutorial

%A D.E. Rydeheard
%T Adjunctions
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 51-57
%K tutorial

%A A. Poigne
%T Cartesian closure - higher types in categories
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 58-75
%K tutorial

%A A. Poigne
%T Algebra categorically
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 76-102
%K tutorial

%A A. Poigne
%T Category theory and logic
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 103-142
%K tutorial

%A E.G. Wagner
%T Categories, data types and imperative languages
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 143-164
%K tutorial

%A P. Dybjer
%T Category theory and programming language semantics: an overview
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 165-181

%A E.G. Manes
%T Weakest preconditions: categorical insights
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 182-197

%A E.G. Wagner
%T A categorical view of weakest liberal preconditions
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 198-205

%A R.D. Tennent
%T Functor-category semantics of programming languages and logics
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 206-224

%A M.B. Smyth
%T Finite approximation spaces
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 225-241

%A E. Moggi
%T categories of partial morphisms and the lambda-calculus
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 242-251

%A A. Poigne
%T A note on distributive laws and power domains
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 252-265

%A G. Winskel
%T category theory and models for parallel computation
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 266-281

%A A. Labella
%A A. Pettorossi
%T Categorical models of process cooperation
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 282-298

%A A. Melton
%A D.A. Schmidt
%A G.E. Strecker
%T Galois connections and computer science applications
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 299-312

%A J.A. Goguen
%A R.M. Burstall
%T A study in the foundations of programming methodology:
specifications, institutions, charters and parchments
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 313-333

%A A. Tarlecki
%T Bits and pieces of the theory of institutions
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 334-363

%A D. Sannella
%A A. Tarlecki
%T Extended ML:
an institution independent framework for formal program development
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 364-389

%A H. Reichel
%T Behavioral program specification
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 390-411

%A H.-D. Ehrich
%T Key extensions of abstract data types, final algebras, and database semantics
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 412-433

%A M.P. Fouman
%A S. Vickers
%T Theories as categories
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 434-448

%A P. Taylor
%T Internal completeness of categories od domains
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 449-465

%A J. Cartmell
%T Formalising the network and hierarchical data models
- an application of categorical logic
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 466-492

%A D.E. Rydeheard
%A R.M. Burstall
%T A categorical unification algorithm
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 493-505

%A R.M. Burstall
%A D.E. Rydeheard
%T Computing with categories
%J Proceedings of the Tutorial and Workshop
on Category Theory and Computer Programming
%C Guildford, United Kingdom
%D September 1985
%E David Pitt
%E Samson Abramsky
%E Axel Poigne
%E David Rydeheard
%O published as Lecture Notes in Computer Science 240
by Springer-Verlag`
%K ctacp
%P 506-519