Journals in DBLP

Electr. Notes Theor. Comput. Sci.
1999, volume: 23, number: 1

1. Samson Abramsky
   Process Realizability. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
   
2. Bernhard Reus
   Realizability Models for Type Theories. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
   
3. Andrew M. Pitts
   Tripos Theory in Retrospect. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
   
4. Jaap van Oosten
   History and Developments. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
   
5. John Longley
   Matching typed and untyped realizability. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
   
6. Martin Hyland
   Variations on Realizability. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
   
7. Tristan Crolard
   A type theory which is complete for Kreisel's modified realizability. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
   
8. Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
   
9. Lars Birkedal
   Bibliography on Realizability. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
   
10. Ulrich Berger
    Effectivity and Density in Domains: A Survey. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
    
11. Steven Awodey, Lars Birkedal, Dana S. Scott
    Local Realizability Toposes and a Modal Logic for Computability. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
    
12. Sergei N. Artëmov
    Uniform provability realization of intuitionistic logic, modality and lambda-terms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
    
13. Giuseppe Rosolini, Thomas Streicher
    Comparing models of higher type computation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]