Journals in DBLP

Mathematical Structures in Computer Science
2002, volume: 12, number: 3

1. Jaap van Oosten
   Realizability: A Historical Essay. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:3, pp:239-263 [Journal]
   
2. Andrew M. Pitts
   Tripos Theory in Retrospect. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:3, pp:265-279 [Journal]
   
3. Ulrich Berger
   Computability and Totality in Domains. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:3, pp:281-294 [Journal]
   
4. J. M. E. Hyland
   Variations on Realizability: Realizing the Propositional Axiom of Choice. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:3, pp:295-317 [Journal]
   
5. Steven Awodey, Lars Birkedal, Dana S. Scott
   Local Realizability Toposes and a Modal Logic for Computability. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:3, pp:319-334 [Journal]
   
6. Peter Lietz, Thomas Streicher
   Impredicativity entails Untypedness. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:3, pp:335-347 [Journal]