Journals in DBLP

Theor. Comput. Sci.
1994, volume: 136, number: 1

1. Peter T. Johnstone
   Variations on the Bagdomain Theme. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:136, n:1, pp:3-20 [Journal]
   
2. Reinhold Heckmann
   Stable Power Domains. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:136, n:1, pp:21-56 [Journal]
   
3. Adrian Fiech, Michael Huth
   Algebraic Domains of Natural Transformations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:136, n:1, pp:57-78 [Journal]
   
4. Austin Melton, Bernd S. W. Schröder, George E. Strecker
   Lagois Connections - a Counterpart to Galois Connections. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:136, n:1, pp:79-107 [Journal]
   
5. Philip S. Mulry
   Partial Map Classifiers and Partial Cartesian Closed Categories. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:136, n:1, pp:109-123 [Journal]
   
6. Eike Ritter
   Categorical Abstract Machines for Higher-Order Typed lambda-Calculi. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:136, n:1, pp:125-162 [Journal]
   
7. Edmund Robinson
   Parametricity as Isomorphism. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:136, n:1, pp:163-181 [Journal]
   
8. Fairouz Kamareddine, Rob Nederpelt
   A Unified Approach to Type Theory Through a Refined lambda-Calculus. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:136, n:1, pp:183-216 [Journal]
   
9. Roy L. Crole
   Computational Adequacy of the FIX-Logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:136, n:1, pp:217-242 [Journal]
   
10. Bettina Blaaberg, Christian Clausen
    Adequacy for a Lazy Functional Language with Recursive and Polymorphic Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:136, n:1, pp:243-275 [Journal]
    
11. David A. Wolfram
    A Semantics for lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:136, n:1, pp:277-289 [Journal]