Journals in DBLP

Theor. Comput. Sci.
1999, volume: 227, number: 1-2

1. Samson Abramsky, Guy McCusker
   Full Abstraction for Idealized Algol with Passive Expressions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:227, n:1-2, pp:3-42 [Journal]
   
2. Gavin M. Bierman
   A Classical Linear lambda-Calculus. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:227, n:1-2, pp:43-78 [Journal]
   
3. Vincent Danos, Laurent Regnier
   Reversible, Irreversible and Optimal lambda-Machines. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:227, n:1-2, pp:79-97 [Journal]
   
4. Stefano Guerrini
   A General Theory of Sharing Graphs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:227, n:1-2, pp:99-151 [Journal]
   
5. Hongde Hu, André Joyal
   Coherence Completions of Categories. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:227, n:1-2, pp:153-184 [Journal]
   
6. Naoki Kobayashi, Toshihiro Shimizu, Akinori Yonezawa
   Distributed Concurrent Linear Logic Programming. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:227, n:1-2, pp:185-220 [Journal]
   
7. François Métayer
   Polynomial Equivalence Among Systems LLNC, LLNC_a and LLNC₀. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:227, n:1-2, pp:221-229 [Journal]
   
8. David N. Turner, Philip Wadler
   Operational Interpretations of Linear Logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:227, n:1-2, pp:231-248 [Journal]
   
9. Jean-Yves Girard
   On Denotational Completeness. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:227, n:1-2, pp:249-273 [Journal]
   
10. Jean-Yves Girard
    Coherent Banach Spaces: A Continuous Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:227, n:1-2, pp:275-297 [Journal]
    
11. Patrick Lincoln, John C. Mitchell, Andre Scedrov
    Optimization Complexity of Linear Logic Proof Games. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:227, n:1-2, pp:299-331 [Journal]
    
12. Mitsuhiro Okada
    Phase Semantic Cut-Elimination and Normalization Proofs of First- and Higher-Order Linear Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:227, n:1-2, pp:333-396 [Journal]