Conferences in DBLP

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

1. Giuseppe Longo
   Coherence and Valid Isomorphism in Closed Categories - Applications of Proof Theory to Category Theory In a Computer Scientist Perspective. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1989, pp:1-4 [Conf]
   
2. Ugo Montanari, Daniel Yankelevich
   An Algebraic View of Interleaving and Distributed Operational Semantics for CCS. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1989, pp:5-20 [Conf]
   
3. Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt
   Temporal Structures. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1989, pp:21-51 [Conf]
   
4. Eugene W. Stark
   Compostional Relational Semantics for Indeterminate Dataflow Networks. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1989, pp:52-74 [Conf]
   
5. Luca Cardelli, John C. Mitchell
   Operations in Records. [Citation Graph (1, 0)][DBLP]
   Category Theory and Computer Science, 1989, pp:75-81 [Conf]
   
6. John Hughes
   Projections for Polymorphic Strictness Analysis. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1989, pp:82-100 [Conf]
   
7. Eugenio Moggi
   A Category-theoretic Account of Program Modules. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1989, pp:101-117 [Conf]
   
8. G. C. Wraith
   A Note on Categorical Datatypes. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1989, pp:118-127 [Conf]
   
9. Kent Petersson, Dan Synek
   A Set Constructor for Inductive Sets in Martin-Löf's Type Theory. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1989, pp:128-140 [Conf]
   
10. Thomas Streicher
    Independence Results for Calculi of Dependent Types. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:141-154 [Conf]
    
11. Paul Taylor 0002
    Quantitative Domains, Groupoids and Linear Logic. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:155-181 [Conf]
    
12. R. A. G. Seely
    Graded Multicategories of Polynomial-time Realizers. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:182-197 [Conf]
    
13. Bart Jacobs
    On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-Versa. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:198-212 [Conf]
    
14. Thomas Ehrhard
    Dictoses. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:213-223 [Conf]
    
15. Andrzej Filinski
    Declarative Continuations: an Investigation of Duality in Programming Language Semantics. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:224-249 [Conf]
    
16. Robert Harper, Donald Sannella, Andrzej Tarlecki
    Logic Representation in LF. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:250-272 [Conf]
    
17. Franz Baader
    Unification Properties of Commutative Theories: A Categorical Treatment. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:273-299 [Conf]
    
18. A. John Power
    An Abstract Formulation for Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:300-312 [Conf]
    
19. Narciso Martí-Oliet, José Meseguer
    From Petri Nets to Linear Logic. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:313-340 [Conf]
    
20. Valeria de Paiva
    A Dialectica-like Model of Linear Logic. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:341-356 [Conf]
    
21. Peter Aczel, Nax Paul Mendler
    A Final Coalgebra Theorem. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:357-365 [Conf]