Journals in DBLP

Fundam. Inform.
1993, volume: 19, number: 1/2

1. Val Tannen, Albert R. Meyer
   Conservativity of Equational Theories in Typed Lambda Calculi. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1993, v:19, n:1/2, pp:1-49 [Journal]
   
2. Pierre-Louis Curien
   Substitution up to Isomorphism. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1993, v:19, n:1/2, pp:51-85 [Journal]
   
3. Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca
   Type Inference: Some Results, Some Problems. [Citation Graph (1, 0)][DBLP]
   Fundam. Inform., 1993, v:19, n:1/2, pp:87-125 [Journal]
   
4. Lalita Jategaonkar, John C. Mitchell
   Type Inference with Extended Pattern Matching and Subtypes. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1993, v:19, n:1/2, pp:127-165 [Journal]
   
5. Daniel Leivant, Jean-Yves Marion
   Lambda Calculus Characterizations of Poly-Time. [Citation Graph (2, 0)][DBLP]
   Fundam. Inform., 1993, v:19, n:1/2, pp:167-184 [Journal]
   
6. Frank Pfenning
   On the Undecidability of Partial Polymorphic Type Reconstruction. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1993, v:19, n:1/2, pp:185-199 [Journal]
   
7. Pawel Urzyczyn
   Primitive Recursion with Extential Types. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1993, v:19, n:1/2, pp:201-222 [Journal]