![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
6th Category Theory and Computer Science 1995: Cambridge, UK
- David H. Pitt, David E. Rydeheard, Peter T. Johnstone:
Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings. Lecture Notes in Computer Science 953, Springer 1995, ISBN 3-540-60164-3 - Robin Milner:
Control Structures: a Model of Interaction. 1-2 - Dusko Pavlovic:
Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity. 3-23 - Éric Badouel, Philippe Darondeau:
Dualities Between Nets and Automata Induced by Schizophrenic Objects. 24-43 - Yasuo Kawahara:
Relational Set Theory. 44-58 - Sergei Soloviev:
Proof of a S. Mac Lane Conjecture. 59-80 - Andrea Asperti
, Agata Ciabattoni
:
Effective Applicative Structures. 81-95 - J. M. E. Hyland, Eugenio Moggi:
The S-Replete Constuction. 96-116 - Alex K. Simpson:
The Convex Powerdomain in a Category of Posets Realized by CPOs. 117-145 - Marcelo P. Fiore:
Lifting as a KZ-Doctrine. 146-158 - Roland Carl Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap van der Woude:
Categorical Fixed Point Calculus. 159-179 - Stephen D. Brookes:
A Category-Theoretic Treatment of a Parallel Algol-Like Language. 180-181 - Thorsten Altenkirch, Martin Hofmann, Thomas Streicher:
Categorical Reconstruction of a Reduction Free Normalization Proof. 182-199 - Masahito Hasegawa
:
Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages. 200-219 - J. R. Otto Jr.:
V-Comprehensions and P Space. 220-239 - Michael P. Fourman, Hayo Thielecke:
A Proposed Categorical Semantics for ML Modules. 240-252
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.