2. Category Theory and Computer Science 1987: Edinburgh, UK

David H. Pitt, Axel Poigné, David E. Rydeheard (Eds.): Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings. Lecture Notes in Computer Science 283 Springer 1987, ISBN 3-540-18508-9 BibTeX

@proceedings{DBLP:conf/ctcs/1987,
  editor    = {David H. Pitt and
               Axel Poign{\'e} and
               David E. Rydeheard},
  title     = {Category Theory and Computer Science, Edinburgh, UK, September
               7-9, 1987, Proceedings},
  booktitle = {CTCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {283},
  year      = {1987},
  isbn      = {3-540-18508-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Giuseppe Rosolini: Categories and Effective Computations. 1-11 BibTeX
Andrew M. Pitts: Polymorphism is Set Theoretic, Constructively. 12-39 BibTeX
Thierry Coquand, Thomas Ehrhard: An Equational Presentation of Higher Order Logic. 40-56 BibTeX
Stefano Kasangian, Anna Labella, Alberto Pettorossi: Enriched Categories for Local and Interaction Calculi. 57-70 BibTeX
David B. Benson: The Category of Milner Processes is Exact. 71-97 BibTeX
Glynn Winskel: Relating Two Models of Hardware. 98-113 BibTeX
David E. Rydeheard, John G. Stell: Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms. 114-139 BibTeX
Tatsuya Hagino: A Typed Lambda Calculus with Categorical Type Constructors. 140-157 BibTeX
Lawrence S. Moss, José Meseguer, Joseph A. Goguen: Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. 158-181 BibTeX
Gilles Bernot: Good Functors... are Those Preserving Philosophy. 182-195 BibTeX
Christoph Beierle, Angi Voß: Viewing Implementations as an Institution. 196-218 BibTeX
Simone Martini: An Interval Model for Second-Order Lambda Calculus. 219-237 BibTeX
Edmund Robinson: Logical Aspects of Denotational Semantics. 238-253 BibTeX
Maurizio Proietti: Connections Between Partial Maps Categories and Triops Theory. 254-269 BibTeX
Steven Vickers: A Fixpoint Construction of the p-adic Domain. 270-289 BibTeX
J. M. McDill, Austin Melton, George E. Strecker: A Category of Galois Connections. 290-300 BibTeX