Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings (Q1897000)

The articles of this volume will be reviewed individually. For the fourth conference see [Zbl 0768.00016; Zbl 0776.00025]. Indexed articles: \textit{Pavlović, Duško}, Convenient category of processes and simulations. I: Modulo strong bisimilarity, 3-23 [Zbl 1502.68194] \textit{Badouel, Eric; Darondeau, Philippe}, Dualities between nets and automata induced by schizophrenic objects, 24-43 [Zbl 1502.68190] \textit{Kawahara, Yasuo}, Relational set theory, 44-58 [Zbl 1502.03017] \textit{Soloviev, S.}, Proof of a S. Mac Lane conjecture (extended abstract), 59-80 [Zbl 1502.03022] \textit{Asperti, Andrea; Ciabattoni, Agata}, Effective applicative structures, 81-95 [Zbl 1502.03010] \textit{Hyland, J. M. E.; Moggi, E.}, The \(S\)-replete construction, 96-116 [Zbl 1502.68172] \textit{Simpson, Alex K.}, The convex powerdomain in a category of posets realized by cpos, 117-145 [Zbl 1502.68173] \textit{Fiore, Marcelo P.}, Lifting as a KZ-doctrine, 146-158 [Zbl 1502.18013] \textit{Backhouse, Roland; Bijsterveld, Marcel; van Geldrop, Rik; van der Woude, Jaap}, Categorical fixed point calculus, 159-179 [Zbl 1502.68168] \textit{Altenkirch, Thorsten; Hofmann, Martin; Streicher, Thomas}, Categorical reconstruction of a \textit{reduction free} normalization proof, 182-199 [Zbl 1502.03019] \textit{Hasegawa, Masahito}, Decomposing typed lambda calculus into a couple of categorical programming languages, 200-219 [Zbl 1502.68055] \textit{Otto, J. R. jun.}, V-comprehensions and P space, 220-239 [Zbl 1502.03011] \textit{Fourman, Michael; Thielecke, Hayo}, A proposed categorical semantics for ML modules, 240-252 [Zbl 1502.68170]