
Journals in DBLP
 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:507509 [Journal]
 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:511540 [Journal]
 Peter Aczel
The RussellPrawitz modality. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2001, v:11, n:4, pp:541554 [Journal]
 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:555572 [Journal]
 Jacob M. Howe
Proof search in Lax Logic. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2001, v:11, n:4, pp:573588 [Journal]
 Mauro Ferrari, Camillo Fiorentini, Pierangelo Miglioli
Extracting information from intermediate semiconstructive HAsystems  extended abstract. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2001, v:11, n:4, pp:589596 [Journal]
