Journals in DBLP

J. Funct. Program.
1997, volume: 7, number: 6

1. Peter Ørbæk, Jens Palsberg
   Trust in the lambda-Calculus. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1997, v:7, n:6, pp:557-591 [Journal]
   
2. Sabine Broda, Luís Damas
   On Combinatory Complete Sets of Proper Combinators. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1997, v:7, n:6, pp:593-612 [Journal]
   
3. Franco Barbanera, Maribel Fernández, Herman Geuvers
   Modularity of Strong Normalization in the Algebraic-lambda-Cube. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1997, v:7, n:6, pp:613-660 [Journal]
   
4. Chris Okasaki
   Three Algorithms on Braun Trees. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1997, v:7, n:6, pp:661-666 [Journal]