Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings (Q1897000): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/3-540-60164-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4301016327 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:42, 21 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings |
scientific article |
Statements
Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings (English)
0 references
13 September 1995
0 references
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]
0 references
Category theory
0 references
Computer science
0 references
Conference
0 references
Proceedings
0 references
CTCS
0 references
Cambridge (GB)
0 references