Journals in DBLP

Mathematical Structures in Computer Science
2001, volume: 11, number: 4

1. Matt Fairtlough, Michael Mendler, Eugenio Moggi
   Special issue: Modalities in type theory. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2001, v:11, n:4, pp:507-509 [Journal]
   
2. Frank Pfenning, Rowan Davies
   A judgmental reconstruction of modal logic. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2001, v:11, n:4, pp:511-540 [Journal]
   
3. Peter Aczel
   The Russell-Prawitz modality. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2001, v:11, n:4, pp:541-554 [Journal]
   
4. Joëlle Despeyroux, Pierre Leleu
   Recursion over objects of functional type. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2001, v:11, n:4, pp:555-572 [Journal]
   
5. Jacob M. Howe
   Proof search in Lax Logic. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2001, v:11, n:4, pp:573-588 [Journal]
   
6. Mauro Ferrari, Camillo Fiorentini, Pierangelo Miglioli
   Extracting information from intermediate semiconstructive HA-systems - extended abstract. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2001, v:11, n:4, pp:589-596 [Journal]