Conferences in DBLP

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

1. Thomas Ehrhard, Pasquale Malacaria
   Stone Duality for Stable Functions. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1991, pp:1-15 [Conf]
   
2. Roberto M. Amadio
   Bifinite Domains: Stable Case. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1991, pp:16-33 [Conf]
   
3. Robert D. Tennent
   Local Variables and Non-Interference in Algol-like Languages. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1991, pp:34-36 [Conf]
   
4. Abbas Edalat, Michael B. Smyth
   Categories of Information Systems. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1991, pp:37-52 [Conf]
   
5. Raymond Hoofman, Harold Schellinx
   Collapsing Graph Models by Preorders. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1991, pp:53-73 [Conf]
   
6. Peter W. O'Hearn
   Linear Logic and Interference Control. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1991, pp:74-93 [Conf]
   
7. Albert Burroni
   Higher Dimensional Word Problem. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1991, pp:94-105 [Conf]
   
8. Sachio Hirokawa
   BCK-Formulas Having Unique Proofs. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1991, pp:106-120 [Conf]
   
9. Richard Blute
   Proof Nets and Coherence Theorems. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1991, pp:121-137 [Conf]
   
10. Eugenio Moggi
    A Modular Approach to Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:138-139 [Conf]
    
11. Grzegorz Jarzembski
    Programs in Partial Algebras - a Categorical Approach. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:140-150 [Conf]
    
12. C. Barry Jay
    Tail Recursion from Universal Invariants. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:151-163 [Conf]
    
13. Thierry Coquand
    A Direct Proof of the Intuitionistic Ramsey Theorem. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:164-172 [Conf]
    
14. Dusko Pavlovic
    Constructions and Predicates. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:173-196 [Conf]
    
15. Bart Jacobs, Eugenio Moggi, Thomas Streicher
    Relating Models of Impredicative Type Theories. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:197-218 [Conf]
    
16. Wesley Phoa
    Two Results on Set-Theoretic Polymorphism. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:219-235 [Conf]
    
17. Andrea Corradini, Ugo Montanari
    An Algebra of Graphs and Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:236-260 [Conf]
    
18. Eugene W. Stark
    Dataflow Networks are Fibrations. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:261-281 [Conf]
    
19. Pierpaolo Degano, Stefano Kasangian, Sebastiano Vigna
    Applications of the Calculus of Trees to Process Description Languages. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:282-301 [Conf]