Journals in DBLP

Fundam. Inform.
2001, volume: 45, number: 1-2

1. Patrick Baillot, Marco Pedicini
   Elementary Complexity and Geometry of Interaction. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2001, v:45, n:1-2, pp:1-31 [Journal]
   
2. Sabine Broda, Luís Damas
   Counting a Type's (Principal) Inhabitants. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2001, v:45, n:1-2, pp:33-51 [Journal]
   
3. René David
   Computing with Böhm Trees. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2001, v:45, n:1-2, pp:53-77 [Journal]
   
4. Masahiko Sato, Takafumi Sakurai, Rod M. Burstall
   Explicit Environments. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2001, v:45, n:1-2, pp:79-115 [Journal]
   
5. Richard Statman
   Marginalia to a Theorem of Jacopini. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2001, v:45, n:1-2, pp:117-121 [Journal]
   
6. Christian Urban, Gavin M. Bierman
   Strong Normalisation of Cut-Elimination in Classical Logic. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2001, v:45, n:1-2, pp:123-155 [Journal]