6. Category Theory and Computer Science 1995: Cambridge, UK

@proceedings{DBLP:conf/ctcs/1995,
  editor    = {David H. Pitt and
               David E. Rydeheard and
               Peter Johnstone},
  title     = {Category Theory and Computer Science, 6th International Conference,
               CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings},
  booktitle = {CTCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {953},
  year      = {1995},
  isbn      = {3-540-60164-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Robin Milner: Control Structures: a Model of Interaction. 1-2 BibTeX
• Dusko Pavlovic: Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity. 3-23 BibTeX
• Eric Badouel, Philippe Darondeau: Dualities Between Nets and Automata Induced by Schizophrenic Objects. 24-43 BibTeX
• Yasuo Kawahara: Relational Set Theory. 44-58 BibTeX
• Sergei Soloviev: Proof of a S. Mac Lane Conjecture. 59-80 BibTeX
• Andrea Asperti, Agata Ciabattoni: Effective Applicative Structures. 81-95 BibTeX
• J. M. E. Hyland, Eugenio Moggi: The S-Replete Constuction. 96-116 BibTeX
• Alex K. Simpson: The Convex Powerdomain in a Category of Posets Realized by CPOs. 117-145 BibTeX
• Marcelo P. Fiore: Lifting as a KZ-Doctrine. 146-158 BibTeX
• Roland Carl Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap van der Woude: Categorical Fixed Point Calculus. 159-179 BibTeX
• Stephen D. Brookes: A Category-Theoretic Treatment of a Parallel Algol-Like Language. 180-181 BibTeX
• Thorsten Altenkirch, Martin Hofmann, Thomas Streicher: Categorical Reconstruction of a Reduction Free Normalization Proof. 182-199 BibTeX
• Masahito Hasegawa: Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages. 200-219 BibTeX
• J. R. Otto Jr.: V-Comprehensions and P Space. 220-239 BibTeX
• Michael P. Fourman, Hayo Thielecke: A Proposed Categorical Semantics for ML Modules. 240-252 BibTeX