Conferences in DBLP

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

1. Giuseppe Rosolini
   Categories and Effective Computations. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1987, pp:1-11 [Conf]
   
2. Andrew M. Pitts
   Polymorphism is Set Theoretic, Constructively. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1987, pp:12-39 [Conf]
   
3. Thierry Coquand, Thomas Ehrhard
   An Equational Presentation of Higher Order Logic. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1987, pp:40-56 [Conf]
   
4. Stefano Kasangian, Anna Labella, Alberto Pettorossi
   Enriched Categories for Local and Interaction Calculi. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1987, pp:57-70 [Conf]
   
5. David B. Benson
   The Category of Milner Processes is Exact. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1987, pp:71-97 [Conf]
   
6. Glynn Winskel
   Relating Two Models of Hardware. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1987, pp:98-113 [Conf]
   
7. David E. Rydeheard, John G. Stell
   Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1987, pp:114-139 [Conf]
   
8. Tatsuya Hagino
   A Typed Lambda Calculus with Categorical Type Constructors. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1987, pp:140-157 [Conf]
   
9. Lawrence S. Moss, José Meseguer, Joseph A. Goguen
   Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1987, pp:158-181 [Conf]
   
10. Gilles Bernot
    Good Functors... are Those Preserving Philosophy. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:182-195 [Conf]
    
11. Christoph Beierle, Angi Voß
    Viewing Implementations as an Institution. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:196-218 [Conf]
    
12. Simone Martini
    An Interval Model for Second-Order Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:219-237 [Conf]
    
13. Edmund Robinson
    Logical Aspects of Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:238-253 [Conf]
    
14. Maurizio Proietti
    Connections Between Partial Maps Categories and Triops Theory. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:254-269 [Conf]
    
15. Steven Vickers
    A Fixpoint Construction of the p-adic Domain. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:270-289 [Conf]
    
16. J. M. McDill, Austin Melton, George E. Strecker
    A Category of Galois Connections. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:290-300 [Conf]