Conferences in DBLP

Category Theory and Computer Science (ctcs)
1995 (conf/ctcs/1995)

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